Def StarMonoidHom.Simps.coe

Modification history

2025-08-06 01:34

Mathlib/Algebra/Star/MonoidHom.lean

feat: define morphism type `StarMonoidHom` (#27763) …

Added StarMonoidHom.Simps.coe View on Github →