Theorem Set.piecewise_op

Modification history