Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...2022-07-13, by Shinji KONO
-
...2022-07-13, by Shinji KONO
-
...2022-07-13, by Shinji KONO
-
...2022-07-13, by Shinji KONO
-
initial chain has no maximality2022-07-12, by Shinji KONO
-
init chain2022-07-12, by Shinji KONO
-
...2022-07-12, by Shinji KONO
-
one pass2022-07-12, by Shinji KONO
-
close it2022-07-12, by Shinji KONO
-
...2022-07-12, by Shinji KONO
-
...2022-07-12, by Shinji KONO
-
...2022-07-12, by Shinji KONO
-
...2022-07-12, by Shinji KONO
-
...2022-07-12, by Shinji KONO