Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Tue, 30 Mar 2021 23:30:55 +0900 | Shinji KONO | topos of Sets done sets-topos |
Tue, 30 Mar 2021 20:22:20 +0900 | Shinji KONO | Sets Topos iso1 done |
Tue, 30 Mar 2021 17:58:55 +0900 | Shinji KONO | ... |