Def alg_hom.equalizer

Modification history

2020-10-27 22:22
src/algebra/algebra/subalgebra.lean
feat(algebra/algebra/subalgebra): algebra equalizer (#4791) …
Added alg_hom.equalizerView on Github →