Nuprl Definition : mbind-class
X >>= Y == X >x> Y x
Definitions occuring in Statement :
bind-class: X >x> Y[x],
apply: f a
FDL editor aliases :
mbind-class
Latex:
X >>= Y == X >x> Y x
Date html generated:
2015_07_21-PM-03_03_00
Last ObjectModification:
2012_02_25-PM-02_17_28
Home
Index