Description: Obsolete version of fvssunirn as of 13-Jan-2025. (Contributed by Stefan O'Rear, 2-Nov-2014) (Revised by Mario Carneiro, 31-Aug-2015) (Proof modification is discouraged.) (New usage is discouraged.)