Theorem Nat.sub_eq_sub_min

Modification history