Theorem Int.ofNat_succ

Modification history