Mercurial > hg > Members > kono > Proof > category
graph
-
add commentThu, 15 Aug 2013 04:46:22 +0900, by Shinji KONO
-
assuing ∀{x : Carrier Mono } {f g : Carrier Mono -> Carrier Mono } -> (f x ≡ g x) -> ( f ≡ g )Thu, 15 Aug 2013 03:34:00 +0900, by Shinji KONO
-
on going ..Wed, 14 Aug 2013 22:45:50 +0900, by Shinji KONO