Description: Obsolete version of wksv as of 11-Dec-2024. (Contributed by AV, 15-Jan-2021) (Proof modification is discouraged.) (New usage is discouraged.)