Loading paper
Relative left properness of colored operads | Tomesphere