Theorem Int.negSucc_ofNat_mul_negOfNat

Modification history