Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
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
-
MinSup onluThu, 03 Nov 2022 19:01:54 +0900, by Shinji KONO
-
...Thu, 03 Nov 2022 12:11:38 +0900, by Shinji KONO
-
...Thu, 03 Nov 2022 10:16:02 +0900, by Shinji KONO
-
IsSUP is now min supWed, 02 Nov 2022 13:53:10 +0900, by Shinji KONO