Mathlib Changelog
v4
Changelog
About
Github
Def
Pi.constAlgHom
Modification history
2023-03-01 10:00
Mathlib/Algebra/Algebra/Pi.lean
feat: port Algebra.Algebra.Pi (#2549)
Added
Pi.constAlgHom
View on Github →