mathlib3

c7379968 - feat(algebra/algebra/subalgebra): algebra equalizer (#4791)

feat(algebra/algebra/subalgebra): algebra equalizer (#4791) Changes to subalgebra.lean from #4786 Co-authored-by: tb65536 <tb65536@users.noreply.github.com>