Nuprl Definition : oriented-plane
OrientedPlane == EuclideanPlane
Definitions occuring in Statement :
euclidean-plane: EuclideanPlane
Definitions occuring in definition :
euclidean-plane: EuclideanPlane
FDL editor aliases :
oriented-plane
oriented-plane
o-plane
Latex:
OrientedPlane == EuclideanPlane
Date html generated:
2017_10_02-PM-04_46_18
Last ObjectModification:
2017_08_05-AM-10_12_21
Theory : euclidean!plane!geometry
Home
Index