(a) In event of default on the bonds. If there should be any default in the payment of the principal of or interest on any bonds issued under this chapter, then the holder of any of the bonds and of any of the interest coupons applicable thereto and the trustee under any indenture, or any one or more of them, may by mandamus, injunction or other proceedings compel performance of all duties of the officers and directors of the authority with respect to the use of funds for the payment of the bonds and for the performance of the agreements of the authority contained in the proceedings under which they were issued, shall be entitled to a judgment against the authority for the principal of and interest on the bonds so in default and, regardless of the sufficiency of the security for the bonds in default and as a matter of right, shall be entitled to the appointment of a receiver to make lease agreements respecting the project out of whose revenues the bonds so in default are payable and fix and collect rents therefor and to operate, administer and maintain the project as a public library facility with all powers of a receiver in the exercise of any of said functions. The income derived from any lease agreement made and any operation of the project carried on by any such receiver shall be expended in accordance with the provisions of the proceedings under which the bonds were authorized to be issued and the orders of the court by which such receiver is appointed.
(b) In event of default in lease agreement, etc. If there should be any default by the municipality in the payment of any installment of rent or in the performance of any agreement required to be made or performed by the municipality under the provisions of any lease agreement, the authority and the trustee under any indenture, or either of them, may by mandamus, injunction or other proceedings compel performance by the officials of the municipality of their duties respecting the payment of the rentals required to be paid and performance of the agreements on the part of the municipality required to be performed under any such lease agreement, and shall be entitled to a judgment against the municipality for all monetary payments required to be made by the municipality under the provisions of such lease agreement with respect to which the municipality is then in default.
(c) Remedies cumulative. The remedies specified in subsections (a) and (b) of this section shall be cumulative to all other remedies which may otherwise be available for the benefit of the holders of the bonds and the coupons applicable thereto; provided, that any indenture shall not be subject to foreclosure and shall not be construed so as to authorize the sale of any project covered thereby or any part thereof in satisfaction of the bonds secured thereby.