Nuprl Definition : geo-sep
a # b ==  ab>aa)
Definitions occuring in Statement : 
geo-gt-prim: ab>cd)
Definitions occuring in definition : 
geo-gt-prim: ab>cd)
FDL editor aliases : 
geo-sep
geo-sep
geo-sep
Latex:
a  \#  b  ==    ab>aa)
Date html generated:
2019_10_29-AM-09_11_58
Last ObjectModification:
2019_10_25-PM-01_03_24
Theory : euclidean!plane!geometry
Home
Index