Version 1.22.0
Added more material on uniform spaces mostly in UniformSpace_ZF_2 : barycentric refinement, creating uniform covers from (diagonal) uniformities, equivalence of defining uniform space with uniform covers and uniformity.
Added more material on uniform spaces mostly in UniformSpace_ZF_2 : barycentric refinement, creating uniform covers from (diagonal) uniformities, equivalence of defining uniform space with uniform covers and uniformity.