| Sun, 04 Sep 2016 21:05:39 +0900 |
Shinji KONO |
fix IsEqualizer
|
| Tue, 30 Aug 2016 14:22:47 +0900 |
Shinji KONO |
fix limit
|
| Sun, 29 Sep 2013 14:01:07 +0900 |
Shinji KONO |
arrow and lambda fix
|
| 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
|
| Sat, 14 Sep 2013 10:04:18 +0900 |
Shinji KONO |
equalizer fix
|
| Wed, 11 Sep 2013 20:26:48 +0900 |
Shinji KONO |
fix
|
| Mon, 09 Sep 2013 16:15:09 +0900 |
Shinji KONO |
comment
|
| Mon, 09 Sep 2013 16:03:14 +0900 |
Shinji KONO |
comment
|
| Mon, 09 Sep 2013 15:56:34 +0900 |
Shinji KONO |
equalizer iso done.
|
| Mon, 09 Sep 2013 14:03:44 +0900 |
Shinji KONO |
fix
|
| Mon, 09 Sep 2013 12:55:36 +0900 |
Shinji KONO |
fix
|
| Mon, 09 Sep 2013 12:47:53 +0900 |
Shinji KONO |
equalizer done.
|
| Mon, 09 Sep 2013 12:35:56 +0900 |
Shinji KONO |
cong-γ1 done, cong-δ1 remains
|
| Mon, 09 Sep 2013 12:02:48 +0900 |
Shinji KONO |
fix
|
| Mon, 09 Sep 2013 10:22:09 +0900 |
Shinji KONO |
fix
|
| Sun, 08 Sep 2013 18:24:49 +0900 |
Shinji KONO |
fix
|
| Sun, 08 Sep 2013 17:47:04 +0900 |
Shinji KONO |
fix
|
| Sun, 08 Sep 2013 12:34:35 +0900 |
Shinji KONO |
comments
|
| Sun, 08 Sep 2013 11:54:06 +0900 |
Shinji KONO |
fix
|
| Sun, 08 Sep 2013 06:43:20 +0900 |
Shinji KONO |
fix
|
| Sun, 08 Sep 2013 06:31:01 +0900 |
Shinji KONO |
Burrnoi to Equalizer problem written
|
| Sun, 08 Sep 2013 05:55:56 +0900 |
Shinji KONO |
fix
|
| Sun, 08 Sep 2013 05:54:27 +0900 |
Shinji KONO |
Burroni equational equalizer definition done.
|
| Sun, 08 Sep 2013 04:55:01 +0900 |
Shinji KONO |
passed let;s remove yellow
|
| Sun, 08 Sep 2013 03:56:45 +0900 |
Shinji KONO |
equalizer iso done.
|
