Bertini-type theorems for formal functions in Grassmannians | Publicación