હરગોવિંદ લક્ષ્મીશંકર ત્રિવેદી હતું.