Nuprl Definition : eu-line-circle

intersect pq (at radius xy) with Oab  ==  e."line-circle" q

Definitions occuring in Statement :  apply: a token: "$token" record-select: r.x
Definitions occuring in definition :  apply: a record-select: r.x token: "$token"
FDL editor aliases :  eu-line-circle

intersect  pq  (at  radius  xy)  with  Oab    ==    e."line-circle"  a  b  x  y  p  q

Date html generated: 2016_05_18-AM-06_33_21
Last ObjectModification: 2015_09_23-AM-09_00_00

Theory : euclidean!geometry

Home Index