Nuprl Definition : bag-map'
bag-map'(f;b) == bag-map(f;b)
Definitions occuring in Statement :
bag-map: bag-map(f;bs)
Definitions occuring in definition :
bag-map: bag-map(f;bs)
FDL editor aliases :
bag-map'
Latex:
bag-map'(f;b) == bag-map(f;b)
Date html generated:
2016_05_15-PM-07_58_30
Last ObjectModification:
2015_09_23-AM-08_20_41
Theory : bags_2
Home
Index