Nuprl Definition : pgeo-point-class
PointClass ==  p,q:Point//p ≡ q
Definitions occuring in Statement : 
pgeo-peq: a ≡ b
, 
pgeo-point: Point
, 
quotient: x,y:A//B[x; y]
Definitions occuring in definition : 
quotient: x,y:A//B[x; y]
, 
pgeo-point: Point
, 
pgeo-peq: a ≡ b
FDL editor aliases : 
pgeo-point-class
Latex:
PointClass  ==    p,q:Point//p  \mequiv{}  q
Date html generated:
2018_05_22-PM-00_55_53
Last ObjectModification:
2018_01_03-PM-03_34_49
Theory : euclidean!plane!geometry
Home
Index