Theorem Complex.normSq_eq_norm_sq

Modification history

2024-01-23 06:58
Mathlib/Analysis/Complex/Basic.lean
feat: case-specific equivalences for `IsROrC` (#9782) …
Added Complex.normSq_eq_norm_sqView on Github →