Mercurial > hg > Members > kono > Proof > ZF-in-agda
comparison src/LEMC.agda @ 1117:53ca3c609f0e
generated topology from subbase done
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 01 Jan 2023 20:07:04 +0900 |
parents | 55ab5de1ae02 |
children | e086a266c6b7 |
comparison
equal
deleted
inserted
replaced
1116:6386019deef1 | 1117:53ca3c609f0e |
---|