Theorem AlgHom.IsArithFrobAt.apply_of_pow_eq_one

Modification history