Mercurial > hg > Members > kono > Proof > category
view .hgtags @ 703:df3f1aae984f
Monidal functor done.
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 22 Nov 2017 04:12:14 +0900 |
parents | 2043f7fd4273 |
children | f2e617dc2c21 |
line wrap: on
line source
14ad6ec8a6626ebc641eb5b019dc4c558a326f60 current 14ad6ec8a6626ebc641eb5b019dc4c558a326f60 current 984518c56e9676a632015fdd4250fa0e1e0fb224 current