Description: The collection of finite
subsets of a set dominates the set. (We use
the weaker sethood assumption because this
theorem also implies that is a set if ~PAi^i is.)
(Contributed by Mario Carneiro, 17-May-2015.)
Proof of Theorem infpwfidom
Dummy variables are mutually distinct and
distinct from all other variables.