Recently started a new realm on Minecraft Bedrock. Myself and another player have each had a librarian reset their trades after the librarians had been previously traded with (my mending for 22 emeralds librarian changed to Infinity for 14). In both cases the librarian maintained the same exp level.