mathlib3

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