Education Code § 78100
CHAPTER 1.5. Library Services
The governing board of each community college district shall provide library services for the students and faculty of the district by establishing and maintaining community college libraries or by contractual arrangements with another public agency.