Theorem FiniteField.sum_subgroup_pow_eq_zero

Modification history