Theorem PowerSeries.hasSum_of_monomials_self

Modification history