History for tag 0G86—The Stacks project

History of tag 0G86

type	time	link
assigned tag 0G86	2020-12-15	4351fc1
Tags: added new tags
changed the statement and the proof	2020-12-08	16507bf
Projection formula in Hodge coh for gysin
created statement with label lemma-gysin-global in derham.tex	2020-12-07	34c88cf
Gysin maps for Hodge and closed immersions Just the bare minimum to do the next argument