mathlib

ff48c790 - Merge branch 'formal_power_series' of github.com:leanprover-community/mathlib into formal_power_series