Form equivalence class Howard-Rubin Number: 14
Statement: A projective limit of a directed projective system ofcompact non-empty topological spaces is non-empty. Morillon [1988] and Note 71.
Howard-Rubin number: 14 CE
Citations (articles):
Connections (notes):
References (books):
Back