Theorem Finset.card_dvd_card_smul_right

Modification history