General insertion and extension theorems for localic real functions | Publicación