Loading paper
Coherence conditions in flat regular pullbacks | Tomesphere