Mercurial > hg > Members > kono > Proof > ZF-in-agda
diff ordinal-definable.agda @ 136:3cc848664a86
... should use Select in Replace
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 07 Jul 2019 02:19:32 +0900 |
parents | 35ce91192cf4 |
children | 567084f2278f |