Loading paper
Derived Kan extension for strict polynomial functors | Tomesphere