Mercurial > hg > Members > kono > Proof > ZF-in-agda
comparison ordinal.agda @ 96:f239ffc27fd0
Power Set and L
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 08 Jun 2019 22:17:40 +0900 |
parents | 4659a815b70d |
children | f2b579106770 |
comparison
equal
deleted
inserted
replaced
95:f3da2c87cee0 | 96:f239ffc27fd0 |
---|