Nuprl Definition : geo-ge

ab ≥ cd ==  ¬cd>ab


Definitions occuring in Statement :  geo-gt-prim: ab>cd,  not: ¬A
FDL editor aliases :  geo-ge geo-ge
Latex:
ab  \mgeq{}  cd  ==    \mneg{}cd>ab


Date html generated: 2020_05_20-AM-09_41_14
Last ObjectModification: 2019_11_13-PM-01_31_16

Theory : euclidean!plane!geometry


Home Index