Theorem AlgHom.coe_ker

Modification history