Theorem AlgHom.IsArithFrobAt.restrict_mk

Modification history