Theorem abs_norm'

Modification history

2024-02-05 06:26
Mathlib/Analysis/Normed/Group/Basic.lean
chore(Normed): move `abs_norm`, add `abs_norm'` (#10202)
Added abs_norm'View on Github →