Category:Bounded Lattices

This category is for proofs about bounded lattices.