Structures · Order
LatticeHomClass
LatticeHomClass F α β states that F is a type of lattice morphisms.
You should extend this class when you extend LatticeHom.
- Defined in
- Mathlib.Order.Hom.Lattice
- Shape
- 3 explicit arguments
Extends2
Extended by4
Concrete types that are instances1
- LatticeHom
How is a type an instance?
Loading the hierarchy index…