Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
...2023-03-21, by Shinji KONO
-
...2023-03-21, by Shinji KONO
-
...2023-03-19, by Shinji KONO
-
generic filter done2023-03-19, by Shinji KONO
-
...2023-03-19, by Shinji KONO
-
...2023-03-19, by Shinji KONO
-
lemma232 (Generic filter is not an element of M)2023-03-18, by Shinji KONO
-
generic filter modification2023-03-18, by Shinji KONO
-
... filter definition2023-03-17, by Shinji KONO
-
....2023-03-16, by Shinji KONO
-
...2023-03-16, by Shinji KONO
-
change to Ideal2023-03-16, by Shinji KONO
-
...2023-03-16, by Shinji KONO
-
...2023-03-16, by Shinji KONO
-
...2023-03-15, by Shinji KONO