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

graph

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

Added tag current for changeset 264784731a67
Sat, 25 May 2019 18:45:47 +0900, by Shinji KONO
clean up
Sat, 25 May 2019 18:45:35 +0900, by Shinji KONO
== and ∅7
Sat, 25 May 2019 09:09:40 +0900, by Shinji KONO
od∅' {n} = ord→od (o∅ {n})
Sat, 25 May 2019 04:58:38 +0900, by Shinji KONO

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