Realizations often come in modular groups, where higher realizations build on lower ones. See smglom/algebra/source/thm/cartspace-*.en.tex, (and continuing in smglom/linear-algebra). In MMT we allow inclusions between realizations, but sTeX cannot do that yet.
Realizations often come in modular groups, where higher realizations build on lower ones. See
smglom/algebra/source/thm/cartspace-*.en.tex
, (and continuing insmglom/linear-algebra
). In MMT we allow inclusions between realizations, but sTeX cannot do that yet.This should be changed!