Mercurial > hg > Members > kono > Proof > category
graph
-
Added tag Topos for changeset 949f83b3a8f0Wed, 03 Mar 2021 16:30:40 +0900, by Shinji KONO
-
N ≅ N + 1 doneWed, 03 Mar 2021 16:11:01 +0900, by Shinji KONO
-
...Wed, 03 Mar 2021 09:48:32 +0900, by Shinji KONO
-
...Wed, 03 Mar 2021 04:51:55 +0900, by Shinji KONO
-
... NatWed, 03 Mar 2021 04:30:18 +0900, by Shinji KONO