Theorem ZMod.coe_int_isUnit_iff_isCoprime

Modification history