When the establishment of a library district has been approved and the district includes wholly within its territory a municipal, township, or county library, only the library district shall levy the annual public library tax.