mathlib

038e0b27 - feat(ring_theory/algebra): remove out_param