Theorem AlgHom.adjoin_le_equalizer

Modification history