fact: Definition boolset_bounded_lattice : bounded_lattice boolset.
imports: UniMath.Foundations.Preamble UniMath.MoreFoundations.Bool UniMath.Algebra.BinaryOperations UniMath.OrderTheory.Lattice.Lattice UniMath.OrderTheory.Lattice.Bounded UniMath.OrderTheory.Lattice.Distributive UniMath.OrderTheory.Lattice.Complement UniMath.OrderTheory.Lattice.Boolean