Def Algebra.lsmul

Modification history

2023-08-02 16:24

Mathlib/Algebra/Algebra/Tower.lean

feat: generalize scalars in Algebra.lsmul (#6209) …

Modified Algebra.lsmul View on Github →

2023-03-01 10:14

Mathlib/Algebra/Algebra/Tower.lean

feat: Port Algebra.Algebra.Tower (#2548)

Added Algebra.lsmul View on Github →