Nuprl Definition : null_mset
0{s} == []
Definitions occuring in Statement :
nil: []
Definitions occuring in definition :
nil: []
Latex:
0\{s\} == []
Date html generated:
2016_05_16-AM-07_46_21
Last ObjectModification:
2015_09_23-AM-09_52_01
Theory : mset
Home
Index