Loading paper
A construction of inductive limit for operator system | Tomesphere