Obituary: Maryam Mirzakhani died on July 14th

Obituary: Maryam Mirzakhani died on July 14th