Form equivalence class Howard-Rubin Number: 1
Statement:
Every complete lattice is constructively complete. \ac{Ern\'e} \cite{2000}
Howard-Rubin number: 1 DH
Citations (articles):
Connections (notes):
Note [154]
Definitions from constructive order theory
References (books):
Back