Theorem Set.nonempty_inv

Modification history