Theorem IsSelfAdjoint.conj_eq

Modification history

2024-01-07 10:52
Mathlib/Algebra/Star/SelfAdjoint.lean
feat: Every star ring is a `Nat`-star module (#9470) …
Added IsSelfAdjoint.conj_eqView on Github →