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:
2018_05_21-PM-00_01_07
Last ObjectModification:
2018_01_10-PM-01_28_48
Theory : union
Home
Index