Commit 2025-10-22 23:09 bbfa916b

View on Github →

feat(Algebra/Ring/Basic): add a / -b = -a / b (#30261)

Estimated changes

added theorem div_neg_eq_neg_div'
modified theorem neg_div'