Nuprl Lemma : test-rat-term-poly
∀[x,y:ℝ]. (r1/r1 + (y/x * x * x)) = (x * x * x/y + (x * x * x)) supposing (y < -(x * x * x)) ∧ x ≠ r0
Proof
Error : references
Latex:
\mforall{}[x,y:\mBbbR{}].
(r1/r1 + (y/x * x * x)) = (x * x * x/y + (x * x * x)) supposing (y < -(x * x * x)) \mwedge{} x \mneq{} r0
Date html generated:
2020_05_21-AM-10_27_10
Last ObjectModification:
2019_04_05-PM-01_03_39
Theory : reals
Home
Index