Form equivalence class Howard-Rubin Number: 232
Statement: MP: Every metric space is paracompact.Howard/Keremedis/Rubin\slash Stanley [1999] and Note 141.
Howard-Rubin number: 232 H
Citations (articles):
Connections (notes):
References (books):