The Indian Biographical Dictionary (1915)/Arur Singh