mathlib

09a7f7a1 - refactor(algebra/algebra/subalgebra/basic): Remove `'` from `subalgebra.comap'` (#15349)

refactor(algebra/algebra/subalgebra/basic): Remove `'` from `subalgebra.comap'` (#15349) This PR removes `'` from `subalgebra.comap'`. <https://leanprover.zulipchat.com/#narrow/stream/116395-maths/topic/subalgebra.2Ecomap'>