Mercurial > hg > Members > kono > Proof > ZF-in-agda
diff src/Topology.agda @ 1103:8df83228d148
Added tag current for changeset a9a7ad7784cc
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 29 Dec 2022 10:58:42 +0900 |
parents | a9a7ad7784cc |
children | 81b859b678a8 |