mathlib

48e5240c - merge branch 'master' into formal_power_series