Theorem Set.natCard_inv

Modification history