Mercurial > hg > Members > kono > Proof > ZF-in-agda
comparison src/ordinal.agda @ 918:4c33f8383d7d
supf px o< px is in csupf
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 15 Oct 2022 20:05:34 +0900 |
parents | a3b7f1e0ca60 |
children | 7c39cae23803 |
comparison
equal
deleted
inserted
replaced
911:3105feb3c4e1 | 918:4c33f8383d7d |
---|