Theorem Set.card_inv

Modification history