mathlib3

a003f786 - feat(algebra/absolute_value): generalize from field to ring