Loading paper
Locally convex inductive limit cones | Tomesphere