Theorem Int.natAbs_eq_iff_mul_self_eq

Modification history