Mending Is like late game enchant like if you have a enderman farm or other mob farms you can generate xp quicker but if you find your situation and find a villager with a mending trade I'll keep that but if its infinity just leave it cause you may find it by fishing.