Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:hasProperty |
simply connected
|
| https://www.w3.org/2000/01/rdf-schema#label |
Riemannian universal cover
|
| gptkbp:includesMetric |
pullback metric
|
| gptkbp:inheritsStructureFrom |
gptkb:Riemannian_manifold
|
| gptkbp:preserves |
local isometry
|
| gptkbp:relatedTo |
gptkb:Riemannian_manifold
universal cover |
| gptkbp:universalCover |
gptkb:Riemannian_manifold
|
| gptkbp:usedIn |
differential geometry
global analysis |
| gptkbp:bfsParent |
gptkb:Riemannian_geometry
|
| gptkbp:bfsLayer |
5
|