Mercurial > hg > Members > kono > Proof > ZF-in-agda
changeset 211:6bb5d57c9561 release
Axiom of choice from exclude middle
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 01 Aug 2019 12:24:26 +0900 |
parents | f5b3f30fcb16 (diff) 2c7d45734e3b (current diff) |
children | fe8392f527eb |
files | HOD.agda ordinal-definable.agda |
diffstat | 0 files changed, 0 insertions(+), 0 deletions(-) [+] |