Theorem tsub_min

Modification history