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