Theorem Finset.card_inv

Modification history