Description: Obsolete version of spvw as of 20-Oct-2023. (Contributed by NM, 10-Apr-2017) (Proof shortened by Wolf Lammen, 4-Dec-2017) (Proof modification is discouraged.) (New usage is discouraged.)
|- ( A. x ph -> ph )
|- ( A. x ph <-> ph )