“Other district” means any district or other public agency formed under any law of the state.
(Amended by Stats. 1965, Ch. 756.)