Go back to the tag's page.
TAGS: Added new tags
Derived pullback and tensor product We have Lf^*(A \otimes^L B) = Lf^*A \otimes^L Lf^*B for modules on ringed spaces.