It's just the bare facts from the Bureau of Labor Statistics. This WP article has a graph -- basically, at its height (the New Deal/WWII) the federal workforce was about 7% of the workforce and have been going downward since then to about 2% today.
https://www.washingtonpost.com/business/2025/02/12/federal-w...