Theorem Set.infinite_inv

Modification history