isParacompactManifold
P152474
predicate
Indicates that a manifold has the topological property of being paracompact, meaning every open cover admits a locally finite open refinement.
Sample triples (1)
| Subject | Object |
|---|---|
|
general linear group GL(n,R)
surface form:
GL(n,ℝ)
|
true ⓘ |