log

age author description
2019-06-25 Shinji KONO Select declaration
2019-06-25 Shinji KONO f x d
2019-06-25 Shinji KONO ...
2019-06-24 Shinji KONO HOD
2019-06-20 Shinji KONO ...
2019-06-18 Shinji KONO dead end
2019-06-18 Shinji KONO remove o<→c< and add otrans in OD
2019-06-18 Shinji KONO dead end?
2019-06-16 Shinji KONO add assumption
2019-06-16 Shinji KONO add Ord Ordinal order preserving map
2019-06-16 Shinji KONO power set
2019-06-15 Shinji KONO ...
2019-06-12 Shinji KONO starting over HOD
2019-06-10 Shinji KONO ZF Set Theory in Agda release
2019-06-10 Shinji KONO Added tag current for changeset a402881cc341