Theorem Int.ofNat_add

Modification history