ગામિતને નિયામક ડી. આર. ડી. એ. અરવલ્લી બનાવાયા છે.