Nuprl Definition : bag-upto
bag-upto(n) == upto(n)
Definitions occuring in Statement :
upto: upto(n)
Definitions occuring in definition :
upto: upto(n)
FDL editor aliases :
bag-upto
Latex:
bag-upto(n) == upto(n)
Date html generated:
2016_05_15-PM-02_21_56
Last ObjectModification:
2015_09_23-AM-07_38_58
Theory : bags
Home
Index