Mercurial > hg > Members > kono > Proof > category
view doc/category.pdf @ 487:c257347a27f3
found limit in freyd
isLimit introduced
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 12 Mar 2017 19:46:07 +0900 |
parents | 037af9cf038c |
children |