Theorem Finset.card_pow_mono

Modification history