IsarMathLib 1.33.0: ultrafilters, ultraproducts, hypernaturals, order on uniformities

This release is mostly about recent contributions by Daniel de la Concepción Sáez. There are three theory files added on ultrafilters, ultraproducts, internal sets and hypernatural numbers (i.e. nonnegative hyperintegers). On my side I formalized some material about the order structure on the collection of uniformities on a given set . Such uniformities are collections […]