mathlib3

99e90364 - chore(algebra/algebra/subalgebra): lemmas about top and injectivity (#11514)