Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Thu, 20 Jun 2019 13:18:18 +0900, by Shinji KONO
-
dead endTue, 18 Jun 2019 23:40:50 +0900, by Shinji KONO
-
remove o<→c< and add otrans in ODTue, 18 Jun 2019 23:40:17 +0900, by Shinji KONO
-
dead end?Tue, 18 Jun 2019 22:01:15 +0900, by Shinji KONO
-
add assumptionSun, 16 Jun 2019 19:55:37 +0900, by Shinji KONO
-
add Ord Ordinal order preserving mapSun, 16 Jun 2019 12:26:18 +0900, by Shinji KONO
-
power setSun, 16 Jun 2019 11:37:00 +0900, by Shinji KONO