Theorem isSelfAdjoint_algebraMap_iff

Modification history

2024-02-09 09:06
Mathlib/Algebra/Star/Module.lean
feat: adds `IsSelfAdjoint.algebraMap` (#10366) …
Added isSelfAdjoint_algebraMap_iffView on Github →