Def SkewMonoidAlgebra.lift

Modification history

2025-10-21 15:08

Mathlib/Algebra/SkewMonoidAlgebra/Lift.lean

feat(SkewMonoidAlgebra): Lifts for skew monoid algebras (#29314) …

Added SkewMonoidAlgebra.lift View on Github →