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