A general insertion theorem for uniform locales | Publicación