Theorem Finset.card_pow_div_pow_le'

Modification history