Structures · Algebra
UnitalShelf
A unital shelf is a shelf equipped with an element 1 such that, for all elements x,
we have both x ◃ 1 and 1 ◃ x equal x.
- Defined in
- Mathlib.Algebra.Quandle
- Shape
- One type argument · adds one_act, act_one
Extends2
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…