isPrincipalBundleOver
P175625
predicate
Indicates that one mathematical object forms a principal bundle whose base space is the other object.
Sample triples (1)
| Subject | Object |
|---|---|
| Hopf fibration | 2-sphere ⓘ |