Theorem IsSelfAdjoint.map'

Modification history

2026-06-23 15:06
Mathlib/Algebra/Order/Star/Basic.lean
feat: introduce `SelfAdjointDecompose` class (#40530)
Added IsSelfAdjoint.map'View on Github →