Theorem Int.sign_mul_self_eq_natAbs

Modification history