Mercurial > hg > Members > kono > Proof > ZF-in-agda
diff src/NSet.agda @ 1106:3b894bbefe92
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 31 Dec 2022 00:28:24 +0900 |
parents | 40345abc0949 |
children | ca5bfb401ada |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 31 Dec 2022 00:28:24 +0900 |
parents | 40345abc0949 |
children | ca5bfb401ada |