Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0GPK

Go back to the tag's page.

type time link
assigned tag 0GPK 2022-01-11 6f3b836 
Tags: Added new tags
created statement with label lemma-equivalence-coherent in functors.tex 2021-12-23 8be8c71 
Finish fixing the chapter functors

View Lemma 56.7.2 as pdf