mathlib3

0f3e083c - feat(algebra/algebra/basic): relax typeclass assumptions (#14415)