Mercurial > hg > Members > kono > Proof > ZF-in-agda
diff OD.agda @ 228:49736efc822b
try transfinite
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 11 Aug 2019 20:42:48 +0900 |
parents | 176ff97547b4 |
children | e06b76e5b682 |
line wrap: on
line diff