hasSpinCover

P151467 predicate

Indicates that one space or manifold serves as a spin cover of another, providing a covering map that lifts its structure to a spin structure.

Sample triples (1)

Subject Object
orthogonal group O(n+1,2) Spin(n+1,2) NERFINISHED