Once deployed, the theory can be used in models. Deployed theories in MathExtensions project are available to the entire workspace.
