mathlib

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