Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
... give up2022-06-20, by Shinji KONO
-
...2022-06-20, by Shinji KONO
-
... TFcomm2022-06-20, by Shinji KONO
-
...2022-06-20, by Shinji KONO
-
dead end2022-06-20, by Shinji KONO
-
failed again2022-06-20, by Shinji KONO
-
...2022-06-19, by Shinji KONO
-
supf again2022-06-19, by Shinji KONO
-
close this2022-06-19, by Shinji KONO
-
dead end2022-06-19, by Shinji KONO
-
...2022-06-19, by Shinji KONO
-
min-sup2022-06-18, by Shinji KONO
-
...2022-06-18, by Shinji KONO
-
nested transfinie on monotonicity2022-06-18, by Shinji KONO
-
...2022-06-17, by Shinji KONO
-
...2022-06-17, by Shinji KONO
-
ind-mono2022-06-17, by Shinji KONO
-
close this2022-06-17, by Shinji KONO
-
dead end2022-06-17, by Shinji KONO
-
...2022-06-17, by Shinji KONO
-
...2022-06-17, by Shinji KONO
-
...2022-06-17, by Shinji KONO
-
...2022-06-17, by Shinji KONO
-
mutual tranfinite in zorn2022-06-17, by Shinji KONO
-
SupF and ChainMono2022-06-16, by Shinji KONO
-
...2022-06-14, by Shinji KONO
-
...2022-06-14, by Shinji KONO
-
...2022-06-14, by Shinji KONO
-
...2022-06-14, by Shinji KONO
-
...2022-06-14, by Shinji KONO
-
sup done2022-06-14, by Shinji KONO
-
not yet ...2022-06-13, by Shinji KONO
-
total done2022-06-13, by Shinji KONO
-
...2022-06-13, by Shinji KONO
-
...2022-06-13, by Shinji KONO
-
...2022-06-13, by Shinji KONO
-
...2022-06-13, by Shinji KONO
-
...2022-06-13, by Shinji KONO
-
...2022-06-13, by Shinji KONO
-
FCSet2022-06-13, by Shinji KONO
-
...2022-06-12, by Shinji KONO
-
...2022-06-11, by Shinji KONO
-
give up2022-06-08, by Shinji KONO
-
chainf is now global on ZChain2022-06-08, by Shinji KONO
-
...2022-06-08, by Shinji KONO
-
...2022-06-07, by Shinji KONO
-
ZChainā§Chain2022-06-07, by Shinji KONO
-
try mutual transfinite2022-06-07, by Shinji KONO