Nuprl Definition : euclidean-parallel-plane
EuclideanParPlane == {g:EuclideanPlane| Playfair-axiom(g)}
Definitions occuring in Statement :
Playfair-axiom: Playfair-axiom(e),
euclidean-plane: EuclideanPlane,
set: {x:A| B[x]}
Definitions occuring in definition :
Playfair-axiom: Playfair-axiom(e),
euclidean-plane: EuclideanPlane,
set: {x:A| B[x]}
FDL editor aliases :
eu-parpl
Latex:
EuclideanParPlane == \{g:EuclideanPlane| Playfair-axiom(g)\}
Date html generated:
2018_05_22-PM-01_08_43
Last ObjectModification:
2018_05_11-PM-06_26_05
Theory : euclidean!plane!geometry
Home
Index