Theorem Int.negSucc_ofNat_eq

Modification history