Mercurial > hg > Members > kono > Proof > ZF-in-agda
log src/Tychonoff.agda @ 1172:f4bccbe80540
age | author | description |
---|---|---|
Sun, 22 Jan 2023 22:41:13 +0900 | Shinji KONO | ... |
Sun, 22 Jan 2023 20:15:15 +0900 | Shinji KONO | ... |
Sun, 22 Jan 2023 20:04:57 +0900 | Shinji KONO | ... base src/Topology.agda@c38ce05b5d5f |