Theorem Int.natAbs_eq_iff_sq_eq

Modification history