Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
give up product uniquness2019-08-28, by Shinji KONO
-
...2019-08-28, by Shinji KONO
-
...2019-08-28, by Shinji KONO
-
...2019-08-28, by Shinji KONO
-
prod-eq done2019-08-27, by Shinji KONO
-
fix pair2019-08-26, by Shinji KONO
-
...2019-08-25, by Shinji KONO
-
new assumption2019-08-25, by Shinji KONO
-
Product2019-08-25, by Shinji KONO
-
...2019-08-25, by Shinji KONO
-
...2019-08-25, by Shinji KONO
-
...2019-08-22, by Shinji KONO
-
fix2019-08-21, by Shinji KONO
-
...2019-08-20, by Shinji KONO
-
ZFProduct2019-08-19, by Shinji KONO
-
...2019-08-18, by Shinji KONO
-
...2019-08-16, by Shinji KONO
-
fix cardinal2019-08-14, by Shinji KONO
-
ac from LEM in abstract ordinal2019-08-13, by Shinji KONO
-
function continue2019-08-12, by Shinji KONO
-
Added tag current for changeset 1b1620e2053c2019-08-11, by Shinji KONO
-
we need ordered pair2019-08-11, by Shinji KONO
-
...2019-08-11, by Shinji KONO
-
try transfinite2019-08-11, by Shinji KONO
-
...2019-08-11, by Shinji KONO
-
set theortic function definition using sup2019-08-11, by Shinji KONO
-
does not work2019-08-10, by Shinji KONO
-
recover ε-induction2019-08-10, by Shinji KONO
-
sepration of ordinal from OD2019-08-09, by Shinji KONO