Version 1.34.0

• finished the proof that the uniformities on a nonempty set, ordered by inclusion form a complete lattice
• edited IntModule_ZF to present at the isarmathlib.org site