Theorem Finset.card_dvd_card_mul_left

Modification history