Theorem Set.range_piecewise

Modification history