Nuprl Definition : mset_size
size{s}(a) == ||a||
Definitions occuring in Statement :
length: ||as||
Definitions occuring in definition :
length: ||as||
Latex:
size\{s\}(a) == ||a||
Date html generated:
2016_05_16-AM-07_48_08
Last ObjectModification:
2015_09_23-AM-09_52_05
Theory : mset
Home
Index