Theorem AlgHom.eqOn_adjoin_iff

Modification history