Def BoolAlg.to_BoundedDistribLattice

Modification history