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

graph

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

ac from LEM in abstract ordinal
Tue, 13 Aug 2019 22:21:10 +0900, by Shinji KONO
function continue
Mon, 12 Aug 2019 13:28:59 +0900, by Shinji KONO
axiomaized ordinals. filter and cardinal are incomplete release
Mon, 12 Aug 2019 09:04:16 +0900, by Shinji KONO

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