Yep, they were used on some ‘40s and ‘50s cars on the tie ride ends. That size was also used on a bunch of electrical connections back in the same time period. My Grandfather used that wrench size when he was doing the wiring on new submarines being built back in WWII.