mathlib

5b4d38a2 - feat(algebra/order/sub): add tsub_tsub_tsub_cancel_left (#16887)