forall x in X, {x} in A


source
jl@crush.caltech.edu index
representation_theorem
probability_charge