Theorem Set.piecewise_empty

Modification history