Go back to the tag's page.
Fallout from error fixed in bc0b0358
Tags: Added new tags
Much better proof of iso on sheafy RHom It is a bit embarrassing...
Right adjoint of pushforward (spaces) Only some formal properties