Theorem div_neg_eq_neg_div'

Modification history

2025-10-22 23:09
Mathlib/Algebra/Ring/Basic.lean
feat(Algebra/Ring/Basic): add `a / -b = -a / b` (#30261)
Added div_neg_eq_neg_div'View on Github →