Theorem not_dvd_card_sylow

Modification history