Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...2022-10-09, by Shinji KONO
-
...2022-10-09, by Shinji KONO
-
roll back to u<x2022-10-07, by Shinji KONO
-
UChain u<x to u≤x again2022-10-06, by Shinji KONO
-
...2022-10-06, by Shinji KONO
-
...2022-10-06, by Shinji KONO
-
fixing u<x is no good2022-10-06, by Shinji KONO