theorem TopIsDense: :: LATSTONE:23

for L being Stone Lattice holds Top L in DenseElements L