Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
SZ1 doneThu, 17 Nov 2022 02:33:06 +0900, by Shinji KONO
-
... x < & A ?Thu, 17 Nov 2022 02:22:39 +0900, by Shinji KONO
-
f (supf x) = supf xThu, 17 Nov 2022 00:22:58 +0900, by Shinji KONO
-
...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
-
is-max?Sun, 13 Nov 2022 10:23:50 +0900, by Shinji KONO