Form equivalence class Howard-Rubin Number: 345
Statement:
Form 14 + Form 106.
Howard-Rubin number: 345 B
Citations (articles): Morillon [1988] Topologie, Analyse Nonstandard et Axiome du Choix
Connections (notes):
References (books):