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