mathlib

b23731f7 - "Fix" dot notation by introducing `⁻¹ₑ` and `⟪⟫ₑ` notation