Nuprl Definition : le_int
i ≤z j == ¬bj <z i
Definitions occuring in Statement :
bnot: ¬bb,
lt_int: i <z j
Definitions occuring in definition :
bnot: ¬bb,
lt_int: i <z j
FDL editor aliases :
le_int
Latex:
i \mleq{}z j == \mneg{}\msubb{}j <z i
Date html generated:
2016_05_13-PM-03_55_30
Last ObjectModification:
2015_09_22-PM-05_45_35
Theory : bool_1
Home
Index