Theorem Int.mul_negSucc_ofNat_negSucc_ofNat

Modification history