mathlib3

1e189356 - docs(algebra/ring/opposite): fix docstring for `ring_hom.from_opposite` (#13957)