Theorem Con.ker_mkMulHom_eq

Modification history