Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0DK5

Go back to the tag's page.

type time link
changed the proof 2020-12-12 94d9102 
Actually use the new lemmas correctly
assigned tag 0DK5 2017-04-08 001e052 
Tags: Added new tags
created statement with label lemma-projection-formula-finite in spaces-cohomology.tex 2017-04-06 627ab8f 
Finite morphisms (spaces)

Interesting that this doesn't work for schemes and finite morphisms

View Lemma 69.4.4 as pdf