Mercurial > hg > Members > kono > Proof > ZF-in-agda

comparison Todo @ 1475:6752e2ff4dc6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ordinal (countable Ordinal) done
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 28 Jun 2024 17:41:43 +0900
parents e8c166541c86
children
comparison
equal deleted inserted replaced
1474:893954e484a4 1475:6752e2ff4dc6