Theorem Int.natAbs_mul_self

Modification history