Theorem tsub_eq_tsub_min

Modification history