/Lattice/Structure/

• ../
• IsBoundedDistributive.agda