Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-27 22:22 c7379968

View on Github →

feat(algebra/algebra/subalgebra): algebra equalizer (#4791) Changes to subalgebra.lean from #4786

Estimated changes

added theorem alg_hom.mem_equalizer