forall x in X, {x} in A
source
jl@crush.caltech.edu
index
representation_theorem
probability_charge