mathlib3

178a05be - Fix protected `finsupp.coe_add`