Mercurial > hg > Members > kono > Proof > category
comparison yoneda.agda @ 938:24248f9249c5
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 16 May 2020 23:45:33 +0900 |
parents | bded2347efa4 |
children | 232cea484067 |
comparison
equal
deleted
inserted
replaced
937:2385fdd6818b | 938:24248f9249c5 |
---|