Nuprl Lemma : eu-tri_wf
∀e:EuclideanPlane. ∀[a,b,c:Point]. (Triangle(a;b;c) ∈ ℙ)
Proof
Error : references
Latex:
\mforall{}e:EuclideanPlane. \mforall{}[a,b,c:Point]. (Triangle(a;b;c) \mmember{} \mBbbP{})
Date html generated:
2017_02_21-AM-10_18_46
Last ObjectModification:
2016_05_20-PM-02_37_29
Theory : euclidean!geometry
Home
Index