Mercurial > hg > Members > kono > Proof > category
comparison category.pdf @ 174:1c4788483d46
add more axiom on unity of oppsite
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 24 Aug 2013 17:16:07 +0900 |
parents | a04219fa2e0a |
children | 6626a7cd9129 |