Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-11-01 17:24
aedc01b0
View on Github →
feat: Inf variants of
ciSup_mul
and related lemmas (
#8078
)
Estimated changes
Modified
Mathlib/Algebra/Bounds.lean
added
theorem
ciInf_div
added
theorem
ciInf_mul
added
theorem
mul_ciInf