Theorem SmoothBumpFunction.support_eq_inter_preimage

Modification history