Theorem Set.restrict_piecewise_compl

Modification history