Description: Obsolete version of vtocl3ga as of 31-May-2025. (Contributed by NM, 20-Aug-1995) Reduce axiom usage. (Revised by GG, 3-Oct-2024) (Proof modification is discouraged.) (New usage is discouraged.)