Theorem Nat.sub_add_min_cancel

Modification history