Theorem ZMod.nat_coe_zmod_eq_iff

Modification history