Commit 2023-01-13 12:39 7b13f695

View on Github →

fix: add missing to_additive aligns in Mathlib.Algebra.Bounds (#1534) Also fix 1 name.

Estimated changes

deleted theorem csupr_div
added theorem csupᵢ_div