Structures · Algebra
RightPreLieAlgebra
A RightPreLieAlgebra is a RightPreLieRing with an action of a CommRing satisfying
r • x * y = r • (x * y) and x * (r • y) = r • (x * y).
- Defined in
- Mathlib.Algebra.NonAssoc.PreLie.Basic
- Shape
- 2 explicit arguments
Extends3
Extended by0
Nothing extends this class yet.
Concrete types that are instances0
No instance on a concrete type; it is reached through other classes.
How is a type an instance?
Loading the hierarchy index…