Theorem ZMod.ringEquivOfPrime_eq_ringEquiv

Modification history