IsarMathLib 1.35.0: Update to Isabelle 2025-1, Uniformities and pseudometrics

In this release I updated IsarMathLib to the new Isabelle 2025-1. On the mathematics side I continued the story of defining uniformities with collections of psedudometrics. As they say in General Topology Chapter IX §1 no. 4: The significance of defining a uniformity by means of a family of pseudometrics lies in the fact that […]