Theorem Set.restrict_piecewise

Modification history