«میرزاخانی»در امریکا به خاک سپرده می شود/ مراسم یادبود در تهران