IsarMathLib 1.32.0: Update to Isabelle2025 and Uniformity from collection of pseudometrics

As in the title I updated IsarMathLib to Isabelle2025 released March 13th. There is quite a lot of new formalized mathematics in this release, scattered over many subjects. One new theory that stands out a bit is about uniformities defined by collections of pseudometrics. In one of previous posts I wrote about how a single […]