Proof for: Metric spaces are paracompact (Q6534204): Difference between revisions
From MaRDI portal
Created claim: MaRDI profile type (P1460): MaRDI theorem profile (Q6534201) |
Created claim: instance of (P31): mathematical proof (Q6481410) |
||
Property / instance of | |||
Property / instance of: mathematical proof / rank | |||
Normal rank |
Revision as of 00:44, 6 December 2024
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | Proof for: Metric spaces are paracompact |
No description defined |