Mercurial > hg > Members > kono > Proof > category
comparison system-t.agda @ 435:9f014f34b988
f=g if equalizer k has right inverse
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 28 Aug 2016 18:59:40 +0900 (2016-08-28) |
parents | 0fb47d8ff0ed |
children | af321e38ecee |
comparison
equal
deleted
inserted
replaced
434:3fdf0aedc21d | 435:9f014f34b988 |
---|