Theorem Set.finite_inv

Modification history