Theorem Set.piecewise_inv

Modification history