Theorem Int.natAbs_lt_iff_mul_self_lt

Modification history