hasCocompactLatticeProperty

Indicates that a mathematical object (typically a group or space) admits a lattice whose quotient is compact, i.e., it has a cocompact lattice acting discretely with compact fundamental domain.