Theorem Complex.conjCLE_nnnorm

Modification history

2026-09-28 20:18
Mathlib/Analysis/Complex/OperatorNorm.lean
chore: rename `nnorm` to `nnnorm` in declaration names (#44290) …
Added Complex.conjCLE_nnnormView on Github →