Order of existential/universal "steps" in proofs with multiple mixed quantifiers

Printable View