Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0CRX

Go back to the tag's page.

type time link
changed the proof 2016-10-11 841415e 
Add missing lemma on coherator (spaces)
assigned tag 0CRX 2016-10-11 4d1c444 
Tags: Added new tags
created statement with label lemma-direct-image-coherator in perfect.tex 2016-10-10 c8b0e4f 
Add missing lemma on coherator

View Lemma 36.7.6 as pdf