Def AlgHom.IsArithFrobAt.restrict

Modification history