Nuprl Definition : dlo_le
a ≤ b == dlo-le() b a
Definitions occuring in Statement :
dlo-le: dlo-le(),
apply: f a
Definitions occuring in definition :
apply: f a,
dlo-le: dlo-le()
FDL editor aliases :
dlo_le
Latex:
a \mleq{} b == dlo-le() b a
Date html generated:
2019_10_15-AM-11_43_15
Last ObjectModification:
2019_04_12-PM-05_25_30
Theory : dynamic!logic
Home
Index