Theorem AlgHom.IsArithFrobAt.restrict_apply

Modification history