Description: Obsolete version of spsbbi as of 6-Jul-2023. Specialization of biconditional. (Contributed by NM, 2-Jun-1993) (Proof modification is discouraged.) (New usage is discouraged.)