Theorem Set.piecewise_same

Modification history