Mathlib Changelog
v4
Changelog
About
Github
Def
Pi.evalStarAlgHom
Modification history
2025-04-20 13:51
Mathlib/Algebra/Star/StarAlgHom.lean
feat(ContinuousFunctionalCalculus): `cfc` applied to products and pi types (#24013) …
Added
Pi.evalStarAlgHom
View on Github →