Theorem tsub_add_eq_add_tsub

Modification history