Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0GTP

Go back to the tag's page.

type time link
assigned tag 0GTP 2022-03-14 fff42ff 
Tags: Added new tags
created statement with label lemma-ample-family-ample-relative in more-morphisms.tex 2022-02-24 61531c0 
Strengthen the results

This is actually what Gross shows

View Lemma 37.79.1 as pdf