Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-10-23 20:35
08084901
View on Github →
feat: enorm_div_rev (
#30830
)
Estimated changes
Modified
Mathlib/Analysis/Normed/Group/Basic.lean
added
theorem
enorm_div_rev