Members/kono/Proof/ZF-in-agda: revision graph

graph

less more | rev 31: (0) -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip

fix ordinal
Tue, 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 Ordinal
Mon, 20 May 2019 18:18:43 +0900, by Shinji KONO
OD continue
Sun, 19 May 2019 18:13:42 +0900, by Shinji KONO
OD, HOD, TC
Sun, 19 May 2019 15:30:04 +0900, by Shinji KONO
dom-ψ
Sat, 18 May 2019 22:40:06 +0900, by Shinji KONO
...
Sat, 18 May 2019 16:28:10 +0900, by Shinji KONO

less more | rev 31: (0) -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip