Commit 2024-09-07 22:19 75f3daf8

View on Github →

chore: rename IsSelfAdjoint.{starHom_apply → map} (#16589)

Estimated changes

added theorem IsSelfAdjoint.map
added theorem isSelfAdjoint_map