Commit 2026-06-03 15:07 f263acd8

View on Github →

chore: switch AlgHom.equalizer from AlgHomClass to AlgHom (#39493)

Estimated changes

modified def AlgHom.equalizer
modified theorem AlgHom.le_equalizer
modified theorem AlgHom.mem_equalizer
modified theorem AlgHom.equalizer_eq_top
modified theorem AlgHom.equalizer_same