Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Tue, 04 Jun 2019 09:22:45 +0900 | Shinji KONO | Union (x , y) == (x , y ) only true on infinite case |
Tue, 04 Jun 2019 01:05:33 +0900 | Shinji KONO | simpler ordinal |
Mon, 03 Jun 2019 12:29:33 +0900 | Shinji KONO | remove ∅-base-def |
Mon, 03 Jun 2019 10:50:03 +0900 | Shinji KONO | add some lemma |
Mon, 03 Jun 2019 10:19:52 +0900 | Shinji KONO | infinite and replacement begin |
Sun, 02 Jun 2019 15:12:26 +0900 | Shinji KONO | Power Set on going ... |
Sun, 02 Jun 2019 11:56:43 +0900 | Shinji KONO | extensionality done |