Nuprl Definition : prop2-lemma
lemma2(a;b;c) == let x = Δ(a;b) in let u = SCO(x;b;b;c) in SCS(a;x;x;u)
Definitions occuring in Statement :
geo-SCS: SCS(a;b;c;d),
eqtri: Δ(a;b),
geo-SCO: SCO(a;b;c;d),
let: let
Definitions occuring in definition :
eqtri: Δ(a;b),
let: let,
geo-SCO: SCO(a;b;c;d),
geo-SCS: SCS(a;b;c;d)
FDL editor aliases :
prop2-lemma
Latex:
lemma2(a;b;c) == let x = \mDelta{}(a;b) in let u = SCO(x;b;b;c) in SCS(a;x;x;u)
Date html generated:
2018_05_22-AM-11_55_25
Last ObjectModification:
2018_03_21-AM-11_49_09
Theory : euclidean!plane!geometry
Home
Index