I have added hyperlinks and split off as direct image with compact support.
This is to satisfy links. But I have labled it “under construction”, since I think it needs a bit of expansion.
]]>I have added a new paragraph to direct image about direct image functor with compact support . Eventually I would create a separate entry direct image with compact support, but not yet.
]]>