Theorem Int.sub_nat_nat_of_sub_eq_succ

Modification history