Def NonUnitalStarAlgHom.Simps.apply

Modification history

2023-03-04 08:59

Mathlib/Algebra/Star/StarAlgHom.lean

feat: port Algebra.Star.StarAlgHom (#2603)

Added NonUnitalStarAlgHom.Simps.apply View on Github →