Theorem tsub_tsub_tsub_cancel_right

Modification history