Theorem UniqueMul.iff_card_le_one

Modification history