Theorem Int.sub_nat_nat_elim

Modification history