Axiom of pairing



تاربرگ‌های پیموده‌شده در این نشست: Abelian Group A⥽(B⥽B)