Theorem HasFPowerSeriesAt.const_smul

Modification history