Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Thu, 17 Nov 2022 00:04:52 +0900, by Shinji KONO
-
...Wed, 16 Nov 2022 14:11:28 +0900, by Shinji KONO
-
is-max and supf b = supf xMon, 14 Nov 2022 07:35:18 +0900, by Shinji KONO