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