Theorem tsub_lt_tsub_iff_right

Modification history