Nuprl Definition : cons-bag
x.b == [x / b]
Definitions occuring in Statement :
cons: [a / b]
Definitions occuring in definition :
cons: [a / b]
FDL editor aliases :
cons-bag
Latex:
x.b == [x / b]
Date html generated:
2016_05_15-PM-02_21_49
Last ObjectModification:
2015_09_23-AM-07_38_57
Theory : bags
Home
Index