Nuprl Definition : eu-le

p ≤ q ==  X_p_q


Definitions occuring in Statement :  eu-between-eq: a_b_c,  eu-X: X
Definitions occuring in definition :  eu-between-eq: a_b_c,  eu-X: X
FDL editor aliases :  eu-le
Latex:
p  \mleq{}  q  ==    X\_p\_q


Date html generated: 2016_05_18-AM-06_37_18
Last ObjectModification: 2015_09_23-AM-09_00_14

Theory : euclidean!geometry


Home Index