Theorem Algebra.lsmul_coe

Modification history

2023-12-08 10:23
Mathlib/Algebra/Algebra/Tower.lean
chore: Replace `(· op ·) a` by `(a op ·)` (#8843) …
Modified Algebra.lsmul_coeView on Github →
2023-08-02 16:24
Mathlib/Algebra/Algebra/Tower.lean
feat: generalize scalars in Algebra.lsmul (#6209) …
Modified Algebra.lsmul_coeView on Github →
2023-03-01 10:14
Mathlib/Algebra/Algebra/Tower.lean
feat: Port Algebra.Algebra.Tower (#2548)
Added Algebra.lsmul_coeView on Github →