IsarMathLib 1.34.0: Z-modules and complete lattice of uniformities

In this release I edited a theory file about actions of integers on abelian groups (-modules) contributed by Daniel de la Concepción Sáez a couple of years ago so that it is written in Isar dialect supported by the isarmathlib.org site and finished the proof that collection of uniformities on a fixed set, ordered by […]