Theorem AddChar.map_neg_eq_conj

Modification history

2024-08-25 13:48
Mathlib/Analysis/RCLike/Basic.lean
feat: The norm of a complex-valued `AddChar` (#15433) …
Added AddChar.map_neg_eq_conjView on Github →