Theorem FiniteField.trace_to_zMod_nondegenerate

Modification history