Theorem Complex.normSq_ofNat

Modification history

2023-10-27 17:23
Mathlib/Data/Complex/Basic.lean
chore: ofNat lemmas for Complex.normSq and abs (#7975) …
Added Complex.normSq_ofNatView on Github →