Mercurial > hg > Members > kono > Proof > category
graph
-
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
-
on going...Wed, 14 Aug 2013 10:26:45 +0900, by Shinji KONO