Nuprl Definition : mset_count
x #∈ a == x #∈ a
Definitions occuring in Statement :
count: a #∈ as
Definitions occuring in definition :
count: a #∈ as
Latex:
x \#\mmember{} a == x \#\mmember{} a
Date html generated:
2016_05_16-AM-07_46_23
Last ObjectModification:
2015_09_23-AM-09_52_01
Theory : mset
Home
Index