Nuprl Definition : deq-fset-member
a ∈b s == a ∈b s
Definitions occuring in Statement :
deq-member: x ∈b L
Definitions occuring in definition :
deq-member: x ∈b L
FDL editor aliases :
deq-fset-member
Latex:
a \mmember{}\msubb{} s == a \mmember{}\msubb{} s
Date html generated:
2016_05_14-PM-03_38_07
Last ObjectModification:
2015_10_06-PM-01_37_45
Theory : finite!sets
Home
Index