Classical.Structures.Lattice

Lattices

This is the Classical.Structures.Lattice module of the Agda Universal Algebra Library.

{-# OPTIONS --cubical-compatible --exact-split --safe #-}

module Classical.Structures.Lattice where

open import Classical.Structures.Lattice.Basic                public
open import Classical.Structures.Lattice.DistributiveLattice  public
open import Classical.Structures.Lattice.Dual                 public
open import Classical.Structures.Lattice.OrdinalSum           public
open import Classical.Structures.Lattice.Parachute            public
open import Classical.Structures.Lattice.Partitions           public
open import Classical.Structures.Lattice.Product              public