Theorem tsub_le_iff_right

Modification history

2023-12-18 06:06

Mathlib/Algebra/Order/Sub/Defs.lean

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

Modified tsub_le_iff_right View on Github →

2022-11-27 22:58

Mathlib/Algebra/Order/Sub/Defs.lean

feat: port Algebra.Order.Sub.Defs (#732) …

Added tsub_le_iff_right View on Github →