Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0G41

Go back to the tag's page.

type time link
assigned tag 0G41 2020-11-17 45d0041 
Tags: added new tags
created statement with label lemma-lift-finite-presentation in properties.tex 2020-09-17 f977c81 
Add a sorely needed lemma

Should have done this a while ago

View Lemma 28.22.5 as pdf