Def AlgHom.IsArithFrobAt

Modification history