Theorem Finset.card_mul_singleton

Modification history