Nuprl Definition : mset_sum
a + b == a @ b
Definitions occuring in Statement :
append: as @ bs
Definitions occuring in definition :
append: as @ bs
Latex:
a + b == a @ b
Date html generated:
2016_05_16-AM-07_46_40
Last ObjectModification:
2015_09_23-AM-09_52_02
Theory : mset
Home
Index