Mercurial > hg > Members > kono > Proof > category
comparison doc/category.ind @ 1075:10b4d04b734f
fix topos char iso
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 09 May 2021 16:52:27 +0900 |
parents | 4c686e19db60 |
children |
comparison
equal
deleted
inserted
replaced
1074:2755bac8d8b9 | 1075:10b4d04b734f |
---|