Nuprl Definition : in-eclass
e ∈b X == (#(X eo e) =z 1)
Definitions occuring in Statement :
eq_int: (i =z j),
apply: f a,
natural_number: $n,
bag-size: #(bs)
FDL editor aliases :
in-eclass
Latex:
e \mmember{}\msubb{} X == (\#(X eo e) =\msubz{} 1)
Date html generated:
2016_05_16-PM-02_18_26
Last ObjectModification:
2012_02_25-PM-01_18_15
Theory : event-ordering
Home
Index