Nuprl Lemma : rat-interval-face_wf
∀[I,J:ℚInterval]. (I ≤ J ∈ ℙ)
Proof
Error : references
Latex:
\mforall{}[I,J:\mBbbQ{}Interval]. (I \mleq{} J \mmember{} \mBbbP{})
Date html generated:
2020_05_20-AM-09_17_32
Last ObjectModification:
2019_10_17-AM-11_01_32
Theory : rationals
Home
Index