Theorem ZMod.int_coe_zmod_eq_iff

Modification history