Assertion


تاربرگ‌های پیموده‌شده در این نشست: right-angled ⟩ logicism ⟩ Ring