Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Fri, 20 Sep 2013 16:55:22 +0900 | Shinji KONO | pull back continue |
Fri, 20 Sep 2013 15:39:50 +0900 | Shinji KONO | pullback |
Tue, 17 Sep 2013 11:27:57 +0900 | Shinji KONO | add figure |
Mon, 16 Sep 2013 17:26:42 +0900 | Shinji KONO | simpler equalizer iso |
Sat, 14 Sep 2013 11:21:42 +0900 | Shinji KONO | fix |
Sat, 14 Sep 2013 11:20:18 +0900 | Shinji KONO | simpler proof |
Sat, 14 Sep 2013 11:19:12 +0900 | Shinji KONO | every equalizer is monic |