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 →