Theorem Int.sub_nat_nat_sub

Modification history