Nuprl Lemma : is-simplex_wf
∀[k:ℕ]. ∀[L:ℝ^k List]. is-simplex(k;L) ∈ ℙ supposing 0 < ||L||
Proof
Error : references
Latex:
\mforall{}[k:\mBbbN{}]. \mforall{}[L:\mBbbR{}\^{}k List]. is-simplex(k;L) \mmember{} \mBbbP{} supposing 0 < ||L||
Date html generated:
2020_05_21-AM-10_27_57
Last ObjectModification:
2019_09_17-PM-05_55_35
Theory : reals
Home
Index