Theorem AlgHom.mem_equalizer

Modification history