Theorem isSelfAdjoint_map

Modification history

2024-09-07 22:19
Mathlib/Algebra/Star/SelfAdjoint.lean
chore: rename `IsSelfAdjoint.{starHom_apply → map}` (#16589)
Added isSelfAdjoint_mapView on Github →