Nuprl Definition : pgeo-three-points

pgeo-three-point-axiom(l) ==  g."three-points" l


Definitions occuring in Statement :  apply: f a,  token: "$token",  record-select: r.x
Definitions occuring in definition :  apply: f a,  record-select: r.x,  token: "$token"
FDL editor aliases :  pgeo-three-point
Latex:
pgeo-three-point-axiom(l)  ==    g."three-points"  l


Date html generated: 2018_05_22-PM-00_31_12
Last ObjectModification: 2017_10_30-PM-04_07_08

Theory : euclidean!plane!geometry


Home Index