Nuprl Definition : formal-sum-add
x + y == x + y
Definitions occuring in Statement :
bag-append: as + bs
Definitions occuring in definition :
bag-append: as + bs
FDL editor aliases :
formal-sum-add
Latex:
x + y == x + y
Date html generated:
2018_05_22-PM-09_45_18
Last ObjectModification:
2017_11_10-PM-06_13_49
Theory : linear!algebra
Home
Index