Description: Distribute existential quantifiers. (Contributed by NM, 8-Aug-1994) Avoid ax-10 . (Revised by GG, 21-Nov-2024)