Nuprl Definition : circle-overlap
Overlap(a;b;c;d) == ↓∃p,q:Point. ((ab ≅ ap ∧ cd ≥ cp) ∧ cd ≅ cq ∧ ab ≥ aq)
Definitions occuring in Statement :
geo-ge: cd ≥ ab,
geo-congruent: ab ≅ cd,
geo-point: Point,
exists: ∃x:A. B[x],
squash: ↓T,
and: P ∧ Q
Definitions occuring in definition :
squash: ↓T,
exists: ∃x:A. B[x],
geo-point: Point,
and: P ∧ Q,
geo-congruent: ab ≅ cd,
geo-ge: cd ≥ ab
FDL editor aliases :
circle-overlap
Latex:
Overlap(a;b;c;d) == \mdownarrow{}\mexists{}p,q:Point. ((ab \00D0 ap \mwedge{} cd \mgeq{} cp) \mwedge{} cd \00D0 cq \mwedge{} ab \mgeq{} aq)
Date html generated:
2017_10_02-PM-03_26_13
Last ObjectModification:
2017_08_12-PM-06_15_29
Theory : euclidean!plane!geometry
Home
Index