Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0H3C

Go back to the tag's page.

type time link
assigned tag 0H3C 2023-06-27 74af77a 
Tags: Added new tags
created statement with label lemma-formal-functions-principal in cohomology.tex 2023-05-03 482356f 
Improve various lemmas on coh of F/f^nF

Hopefully this is actually improving the readability

View Lemma 20.39.1 as pdf