Theorem IsClosed.continuous_piecewise_of_specializes

Modification history