Theorem StarAlgHom.mem_equalizer

Modification history