Title: Big projective modules are free
Subjects: Modular functions