Nuprl Definition : geo_ge
geo_ge(e; p; q) == q ≤ p
Definitions occuring in Statement :
geo-le: p ≤ q
Definitions occuring in definition :
geo-le: p ≤ q
Latex:
geo\_ge(e; p; q) == q \mleq{} p
Date html generated:
2017_10_02-PM-04_52_14
Last ObjectModification:
2017_08_05-AM-09_10_05
Theory : euclidean!plane!geometry
Home
Index