Theorem analyticAt_iff_analytic_smul

Modification history