Theorem FiniteField.sum_pow_units

Modification history