Mercurial > hg > Members > kono > Proof > category
graph
-
pull back continueFri, 20 Sep 2013 16:55:22 +0900, by Shinji KONO
-
pullbackFri, 20 Sep 2013 15:39:50 +0900, by Shinji KONO
-
add figureTue, 17 Sep 2013 11:27:57 +0900, by Shinji KONO
-
simpler equalizer isoMon, 16 Sep 2013 17:26:42 +0900, by Shinji KONO
-
fixSat, 14 Sep 2013 11:21:42 +0900, by Shinji KONO
-
simpler proofSat, 14 Sep 2013 11:20:18 +0900, by Shinji KONO
-
every equalizer is monicSat, 14 Sep 2013 11:19:12 +0900, by Shinji KONO