Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...Fri, 04 Nov 2022 20:48:00 +0900, by Shinji KONO
-
...Fri, 04 Nov 2022 20:27:31 +0900, by Shinji KONO
-
...Fri, 04 Nov 2022 19:19:51 +0900, by Shinji KONO
-
supf sp = sp ?Fri, 04 Nov 2022 18:55:44 +0900, by Shinji KONO
-
IsMinSUP< is wrongFri, 04 Nov 2022 17:27:12 +0900, by Shinji KONO
-
...Fri, 04 Nov 2022 08:17:21 +0900, by Shinji KONO
-
IsMinSup contains not HasPrevFri, 04 Nov 2022 06:47:23 +0900, by Shinji KONO