Nuprl Definition : ge

i ≥ j  ==  j ≤ i


Definitions occuring in Statement :  le: A ≤ B
Definitions occuring in definition :  le: A ≤ B
Rules referencing :  remainderBounds1,  remainderBounds2,  remainderBounds3,  remainderBounds4
FDL editor aliases :  ge
Latex:
i  \mgeq{}  j    ==    j  \mleq{}  i


Date html generated: 2016_05_13-PM-03_04_23
Last ObjectModification: 2015_09_22-PM-05_43_41

Theory : core_1


Home Index