Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
no-extension on immidate ordinal passedThu, 08 Sep 2022 12:44:22 +0900, by Shinji KONO
-
...Thu, 08 Sep 2022 09:16:51 +0900, by Shinji KONO
-
...Wed, 07 Sep 2022 23:17:29 +0900, by Shinji KONO