Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Thu, 23 May 2019 14:20:35 +0900, by Shinji KONO
-
¬ ( y c< x ) → x ≡ od∅Thu, 23 May 2019 13:48:27 +0900, by Shinji KONO
-
transitiveThu, 23 May 2019 02:32:02 +0900, by Shinji KONO
-
ordinal fixedWed, 22 May 2019 19:24:11 +0900, by Shinji KONO
-
fix oridinalWed, 22 May 2019 11:52:49 +0900, by Shinji KONO
-
fixTue, 21 May 2019 18:17:24 +0900, by Shinji KONO
-
oridnal dead endTue, 21 May 2019 18:13:48 +0900, by Shinji KONO
-
fix ordinalTue, 21 May 2019 10:32:34 +0900, by Shinji KONO
-
problem on Ordinal ( OSuc ℵ )Tue, 21 May 2019 00:30:01 +0900, by Shinji KONO
-
posturate OD is isomorphic to OrdinalMon, 20 May 2019 18:18:43 +0900, by Shinji KONO
-
OD continueSun, 19 May 2019 18:13:42 +0900, by Shinji KONO
-
OD, HOD, TCSun, 19 May 2019 15:30:04 +0900, by Shinji KONO