Mercurial > hg > Members > kono > Proof > category
comparison yoneda.agda @ 713:5e101ee6dab9
identity done
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 23 Nov 2017 18:24:44 +0900 |
parents | 984518c56e96 |
children | 340708e8d54f |
comparison
equal
deleted
inserted
replaced
712:9092874a0633 | 713:5e101ee6dab9 |
---|