Theorem StarMonoidHom.coe_mk

Modification history

2025-10-19 14:27
Mathlib/Algebra/Star/MonoidHom.lean
chore: miscellaneous linter whitespace fixes (#30663) …
Modified StarMonoidHom.coe_mkView on Github →
2025-08-06 01:34
Mathlib/Algebra/Star/MonoidHom.lean
feat: define morphism type `StarMonoidHom` (#27763) …
Added StarMonoidHom.coe_mkView on Github →