Theorem neg_of_div_neg_left

Modification history

2024-10-28 14:12

Mathlib/Algebra/Order/GroupWithZero/Unbundled.lean

feat: `a / b < 0 → 0 ≤ a → b < 0` (#18260)

Added neg_of_div_neg_left View on Github →