Nuprl Lemma : Legendre-sign-changes
∀n:ℕ. ∃L:(ℤ × ℕ+) List [((||L|| = (n - 1) ∈ ℤ) ∧ rat-sign-change-list(λx.ratLegendre(n;x);<-1, 1>;<1, 1>;L))] supposing \000C0 < n
Error : references
Latex:
\mforall{}n:\mBbbN{}. \mexists{}L:(\mBbbZ{} \mtimes{} \mBbbN{}\msupplus{}) List [((||L|| = (n - 1)) \mwedge{} rat-sign-change-list(\mlambda{}x.ratLegendre(n;x);<-1, 1>ə, 1>\000C;L))] supposing 0 < n
Date html generated:
2019_11_06-PM-00_36_38
Last ObjectModification:
2019_01_21-PM-03_00_55
Theory : reals_2
Home
Index