Enchantments | How to craft enchantments in Minecraft | Minecraft Wiki
Is it possible to get mending from that type of villager? : r/Minecraft
Minecraft: How To Get Mending Enchantment
Isn't Mending considered as a Treasure enchant ? If I have read the wiki correctly the minimum price for mending should be 16 (without cost reduction due to hero of the village) :