mathlib3

2a9b0f85 - chore(ring_theory/artinian): clarify left/right -ness in doc strings (#14396)