Commit 2023-12-18 06:06 608404e3

View on Github →

chore(Algebra/Order/Group): change simp lemmas (#7867)

Estimated changes

modified theorem tsub_le_iff_right