مردم ایران یاد مریم میرزاخانی را گرامی داشتند.