Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
omax ..Tue, 04 Jun 2019 23:58:58 +0900, by Shinji KONO
-
...Tue, 04 Jun 2019 12:28:43 +0900, by Shinji KONO
-
Union (x , y) == (x , y ) only true on infinite caseTue, 04 Jun 2019 09:22:45 +0900, by Shinji KONO
-
simpler ordinalTue, 04 Jun 2019 01:05:33 +0900, by Shinji KONO
-
remove ∅-base-defMon, 03 Jun 2019 12:29:33 +0900, by Shinji KONO
-
add some lemmaMon, 03 Jun 2019 10:50:03 +0900, by Shinji KONO
-
infinite and replacement beginMon, 03 Jun 2019 10:19:52 +0900, by Shinji KONO