We have built literally thousands of these Mitsu tractors over the years, and we put hy-trans in every single front axle on the Mitsu built machines. We clarified that with Mitsu over 10 years ago. We have never seen an oil related front axle failure, except when someone failed to put any oil in! Now that's a problem.
That being said, 80W-90 gear oil works just fine, and since at least some of the manuals show either or both, surely if there was a warranty type problem, nobody could blame an owner for using 80W-90 if the manual suggests both.
Some of the manuals, for years now, have been conflicting. Mahindra has no excuse for not clearing that up. But the good news is that either works. Just keep it under 60 mph and all is well....
Some people insist on gear oil, I'm not concerned either way honestly. Just changing it occasionally and making sure it is at the correct level is probably more important.
The conflict is, because they are basically the same thing.
My GC 2300 manual specs Permatran, or SAE 80 GL-4 gear lube, for the hydraulic transmission.
Both products are light weight gear oil.
The transmission oil is 80w gear oil, with additional additives, for wet brakes, anti-foaming, etc., that straight gear oil will likely not have. Because, the transmission oil has to do more things, than just lubricate gears.
EP gear oil, will have extreme pressure additives, that the transmission oil will likely not have.
Some equipment, such as my Landpride zero turn, even allow you to use 30w motor oil, for the transmission. Because, it's basically what they start out with when they make the transmission oil.
30w motor oil, and 80w gear oil, are the same basic viscosity. Gear oil is not rated on the same scale, as motor oil. This causes everyone to assume the gear oil is heaver. It is not.