Mathlib Changelog
v4
Changelog
About
Github
Theorem
AddChar.inv_apply_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.inv_apply_eq_conj
View on Github →