Theorem ZMod.min_le_card_add

Modification history