Mercurial > hg > Members > kono > Proof > ZF-in-agda
comparison ordinal-definable.agda @ 153:f1801c4735d3
union continue ...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 10 Jul 2019 06:52:00 +0900 |
parents | 21b2654985c4 |
children | 3675bd617ac8 |
comparison
equal
deleted
inserted
replaced
152:996a67042f50 | 153:f1801c4735d3 |
---|