Theorem Int.modEq_and_modEq_iff_modEq_mul

Modification history