Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
-- the set of finite partial functions from ω to 22020-06-23, by Shinji KONO
-
better to use ordinal number hierachy to create HOD2020-06-23, by Shinji KONO
-
... should we use HOD?2020-06-23, by Shinji KONO
-
maxod try2020-06-22, by Shinji KONO
-
if Filter contains L, prime filter is ultra2020-06-15, by Shinji KONO
-
fix prime2020-06-15, by Shinji KONO
-
ultra-filter P → prime-filter P done2020-06-14, by Shinji KONO
-
...2020-06-13, by Shinji KONO
-
...2020-06-13, by Shinji KONO
-
...2020-06-12, by Shinji KONO
-
definition of filter2020-06-12, by Shinji KONO
-
...2020-06-07, by Shinji KONO
-
Added tag current for changeset 313140ae5e3d2020-05-10, by Shinji KONO
-
clean up2020-05-10, by Shinji KONO
-
minimal from LEM2020-05-10, by Shinji KONO
-
...2020-05-09, by Shinji KONO
-
...2020-05-09, by Shinji KONO
-
...2020-05-09, by Shinji KONO
-
...2020-05-09, by Shinji KONO
-
...2020-05-09, by Shinji KONO
-
Added tag current for changeset d9d3654baee12020-05-09, by Shinji KONO
-
seperate choice from LEM2020-05-09, by Shinji KONO
-
separate choice2020-05-09, by Shinji KONO
-
Added tag current for changeset 29a85a427ed22020-04-25, by Shinji KONO
-
ε-induction2020-04-25, by Shinji KONO
-
add documents2020-01-11, by Shinji KONO
-
separate ordered pair and Boolean Algebra2019-12-31, by Shinji KONO
-
fix incl2019-12-30, by Shinji KONO
-
...2019-10-06, by Shinji KONO
-
disjunction and conjunction2019-10-06, by Shinji KONO
-
...2019-09-30, by Shinji KONO
-
⊆2019-09-30, by Shinji KONO
-
...2019-09-30, by Shinji KONO
-
filter2019-09-30, by Shinji KONO
-
...2019-09-23, by Shinji KONO
-
...2019-09-23, by Shinji KONO
-
CH trying ...2019-09-22, by Shinji KONO
-
ε-induction from TransFinite induction2019-09-17, by Shinji KONO
-
sup with limit give up2019-09-05, by Shinji KONO
-
...2019-09-04, by Shinji KONO
-
...2019-09-03, by Shinji KONO
-
move product to OD2019-08-30, by Shinji KONO
-
Added tag current for changeset 2ea2a19f9cd62019-08-29, by Shinji KONO
-
ordered pair clean up2019-08-29, by Shinji KONO
-
proudct uniquness done2019-08-29, by Shinji KONO
-
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