ચર્ચા છે કે, આગ્રાનું નામ અગ્રવન થઈ શકે છે.