Theorem tsub_add_min

Modification history