Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 07X7

Go back to the tag's page.

type time link
assigned tag 07X7 2012-07-03 3fe4cf9 
Tags: Added new tags
created statement with label definition-effective in artin.tex 2012-06-12 c581994 
Formal objects and effectivity

View Definition 98.9.4 as pdf