Theorem StarAlgHom.adjoin_le_equalizer

Modification history