mathlib

bdc060b4 - s/has_nat_cast/add_monoid_with_one/g