Theorem AlgHom.ker_kerSquareLift

Modification history