Theorem Int.ofNat_mul_negSucc_ofNat

Modification history