As used in this article, “public agency” includes the Federal Government or any of its branches, and any county, city, district, or other public corporation.
(Added by Stats. 1953, Ch. 72.)