Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0D3U

Go back to the tag's page.

type time link
assigned tag 0D3U 2016-12-10 e74f615 
Tags: Added new tags
created statement with label lemma-extend-q-to-spaces in quot.tex 2016-12-03 44d97cc 
Sanity checks in quot

View Lemma 99.7.5 as pdf