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