Theorem ContDiffBump.integral_normed_smul

Modification history