Nuprl Definition : mset_mem
x ∈b a == x ∈b a
Definitions occuring in Statement :
mem: a ∈b as
Definitions occuring in definition :
mem: a ∈b as
Latex:
x \mmember{}\msubb{} a == x \mmember{}\msubb{} a
Date html generated:
2016_05_16-AM-07_47_09
Last ObjectModification:
2015_09_23-AM-09_52_03
Theory : mset
Home
Index