Version 1.35.0

Latest

Latest

SKolodynski released this 19 Dec 15:57

· 65 commits to master since this release

93e522e

Updated for Isabelle2025-1
Uniformities and pseudometrics
The notions of "countable" and "enumerable" in ZF

Assets 2

0 Join discussion