Nuprl Definition : heyting-geometry

HeytingGeometry ==  EuclideanPlane


Definitions occuring in Statement :  euclidean-plane: EuclideanPlane
Definitions occuring in definition :  euclidean-plane: EuclideanPlane
FDL editor aliases :  heyting-geometry heyting-geometry
Latex:
HeytingGeometry  ==    EuclideanPlane


Date html generated: 2017_10_02-PM-07_00_11
Last ObjectModification: 2017_08_06-PM-09_05_11

Theory : euclidean!plane!geometry


Home Index