Mending enchantment from fishing unusually rare

Me and another player both had fully maxed-out fishing rods (both containing Luck of the Sea III, Lure III, Unbreaking III, and Mending) and went fishing for a total of roughly seven hours of fishing and found no books containing the mending enchantment