Nuprl Definition : geo-same-line
line(a;b)=line(c;d) == Colinear(a;b;c) ∧ Colinear(a;b;d)
Definitions occuring in Statement :
geo-colinear: Colinear(a;b;c),
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
geo-colinear: Colinear(a;b;c)
FDL editor aliases :
geo-same-line
geo-same-line
Latex:
line(a;b)=line(c;d) == Colinear(a;b;c) \mwedge{} Colinear(a;b;d)
Date html generated:
2017_10_02-PM-06_22_35
Last ObjectModification:
2017_08_05-PM-04_16_51
Theory : euclidean!plane!geometry
Home
Index