I have released IsarMathLib version 1.9.0. This is a major release with 10 new theory files with 155 new theorems, contributed by Daniel Daniel de la Concepción Sáez. The new theory files are Cardinal_ZF, Group_ZF_4,Topology_ZF_8, Topology_ZF_9, Topology_ZF_10, Topology_ZF_11.thy, Topology_ZF_properties_2, TopologicalGroup_ZF_1, TopologicalGroup_ZF_2, TopologicalGroup_ZF_3. The first theory contributed by Daniel, Topology_ZF_4 (included in the 1.8.0 release) is now
presented on isarmathlib.org.