Theorem Int.sub_nat_nat_add_right

Modification history