Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
UFLP→FIP FIP→UFLP with Zorn doneSat, 04 Mar 2023 11:39:46 +0900, by Shinji KONO
-
...Sat, 04 Mar 2023 10:26:35 +0900, by Shinji KONO
-
...Fri, 03 Mar 2023 21:31:12 +0900, by Shinji KONO