Theorem AlgHom.IsArithFrobAt.restrict_injective

Modification history