Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
2016-08-29 | Shinji KONO | initialFullSubCategory |
2016-08-28 | Shinji KONO | f=g if equalizer k has right inverse |
Loading... |
age | author | description |
---|---|---|
2016-08-29 | Shinji KONO | initialFullSubCategory |
2016-08-28 | Shinji KONO | f=g if equalizer k has right inverse |
Loading... |