ordinal_definable_set Copy: ordinal_definable_set has NO comma Hide Show No older revisions available