Members/kono/Proof/category: revision graph

graph

less more | rev 824: (0) -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip

...
Thu, 02 May 2019 11:54:09 +0900, by Shinji KONO
add ≈-to-≡ assumption
Wed, 01 May 2019 21:35:03 +0900, by Shinji KONO
from cart to graph, hom equality to set equality
Wed, 01 May 2019 21:16:58 +0900, by Shinji KONO
Grp and Cart
Wed, 01 May 2019 15:16:54 +0900, by Shinji KONO

less more | rev 824: (0) -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip