theorem Th26: :: LATTICE3:26

for X being set holds BooleLatt X is \/-distributive