Def selfAdjointPart

Modification history

2023-04-10 15:18

Mathlib/Algebra/Star/Module.lean

feat: port Algebra.Module.Projective (#3335)

Modified selfAdjointPart View on Github →

2023-03-06 15:29

Mathlib/Algebra/Star/Module.lean

feat: port Algebra.Star.Module (#2441)

Added selfAdjointPart View on Github →