Theorem Set.piecewise_univ

Modification history