Theorem Set.piecewise_eqOn_compl

Modification history