Nuprl Lemma : rat-term-eq_wf
∀[r1,r2:rat_term()]. (rat-term-eq(r1;r2) ∈ 𝔹)
Proof
Error : references
Latex:
\mforall{}[r1,r2:rat\_term()]. (rat-term-eq(r1;r2) \mmember{} \mBbbB{})
Date html generated:
2020_05_21-AM-10_26_46
Last ObjectModification:
2019_04_01-PM-01_03_49
Theory : reals
Home
Index