I don't see why there would be a separate power antenna switch and I don't see where it would sit but I have not dropped the relay tray or removed the glove box to look for it. Nor do I understand the circuit logic.
I think many of the car radios available in the 70s and 80s did not have a switched power output to control the power antenna. The separate switch was needed for power antennas to be installed with these radios. These power antennas needed power polarity swapped similar to a power window to be driven up and down.
When car radio manufacturers included the switched power output to control a power antenna or power amp the power antenna was redesigned so it automatically went up when radio turned on and came down when radio turned off. This design means the antenna is either full up or full down. The older design allowed the operator to determine how far up the antenna traveled. It also did not automatically go down when the car was turned off. The switch had to be activated to bring the antenna down.