Theorem Int.toNat_sub

Modification history