Theorem AlgHom.ker_ker_sqare_lift

Modification history