Theorem AlgHom.IsArithFrobAt.finite_quotient

Modification history