Nuprl Definition : mset_diff
a - b == a - b
Definitions occuring in Statement :
diff: as - bs
Definitions occuring in definition :
diff: as - bs
Latex:
a - b == a - b
Date html generated:
2016_05_16-AM-07_48_59
Last ObjectModification:
2015_09_23-AM-09_52_13
Theory : mset
Home
Index