Theorem NonUnitalStarRingHom.coe_mk

Modification history

2025-10-19 14:27
Mathlib/Algebra/Star/StarRingHom.lean
chore: miscellaneous linter whitespace fixes (#30663) …
Modified NonUnitalStarRingHom.coe_mkView on Github →
2024-06-26 22:10
Mathlib/Algebra/Star/StarRingHom.lean
feat(Algebra/Star/StarRingHom): Add non-unital star ring homomorphisms (#12924) …
Added NonUnitalStarRingHom.coe_mkView on Github →