Theorem Con.ker_coeMulHom

Modification history