Theorem Int.negOfNat_mul_ofNat

Modification history