Theorem le_div_iff₀'

Modification history

2024-10-03 10:58

Mathlib/Algebra/Order/GroupWithZero/Unbundled.lean

chore: generalise more lemmas from `LinearOrderedField` to `GroupWithZero` (#17359) …

Modified le_div_iff₀'View on Github →

2024-08-26 13:45

Mathlib/Algebra/Order/GroupWithZero/Unbundled.lean

refactor: Generalise ordered field lemmas to ordered groups with zero (#16036) …

Added le_div_iff₀'View on Github →