Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-11-08 08:27 bf242b78

View on Github →

feat(algebra/order/with_zero): add le lemmas (#10183)

Estimated changes

added theorem div_le_div_right₀
added theorem div_le_iff₀
added theorem le_div_iff₀
added theorem le_mul_inv_iff₀
added theorem mul_inv_le_iff₀
added theorem mul_le_mul_right₀