Theorem Int.sub_nat_self

Modification history