Theorem enorm_div_rev

Modification history

2025-10-23 20:35
Mathlib/Analysis/Normed/Group/Basic.lean
feat: enorm_div_rev (#30830)
Added enorm_div_revView on Github →