mathlib3

e6d959df - docs(algebra/ring): document compatibility hack [skip ci]