Mercurial > hg > Members > kono > Proof > ZF-in-agda
log cardinal.agda @ 219:43021d2b8756
age | author | description |
---|---|---|
Wed, 07 Aug 2019 09:50:51 +0900 | Shinji KONO | separate cardinal base OD.agda@a7833b5ddeba |
age | author | description |
---|---|---|
Wed, 07 Aug 2019 09:50:51 +0900 | Shinji KONO | separate cardinal base OD.agda@a7833b5ddeba |