Theorem Set.apply_piecewise₂

Modification history