Contents · 1 Theorem · 2 Proof. 2.1 Composition (C1); 2.2 Existence of identity morphisms (C2); 2.3 Associativity of composition (C3) ...
確定! 回上一頁