Theorem HasFPowerSeriesAt.iterate_dslope_fslope_ne_zero

Modification history