Nuprl Definition : half-plane-cong-angle
abc ≅ρ dbc == (a leftof bc ∧ d leftof bc) ∧ Colinear(a;d;b)
Definitions occuring in Statement :
geo-colinear: Colinear(a;b;c),
geo-left: a leftof bc,
and: P ∧ Q
Definitions occuring in definition :
geo-colinear: Colinear(a;b;c),
geo-left: a leftof bc,
and: P ∧ Q
FDL editor aliases :
half-plane-cong-angle
Latex:
abc \00D0\mrho{} dbc == (a leftof bc \mwedge{} d leftof bc) \mwedge{} Colinear(a;d;b)
Date html generated:
2017_10_02-PM-04_48_44
Last ObjectModification:
2017_08_24-PM-03_31_43
Theory : euclidean!plane!geometry
Home
Index