Theorem Prod.algebraMap_apply

Modification history

2023-02-21 10:05
Mathlib/Algebra/Algebra/Prod.lean
feat: port Algebra.Algebra.Prod (#2383)
Added Prod.algebraMap_applyView on Github →