Theorem Int.mul_eq_one_iff_eq_one_or_neg_one

Modification history