hasCoxeterNumber

Indicates that an entity (typically a Coxeter group or related structure) is associated with a specific Coxeter number as its characteristic numerical invariant.