Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0AUT

Go back to the tag's page.

type time link
assigned tag 0AUT 2015-01-06 6944879 
Tags: Added new tags
changed the statement 2014-12-19 6977a17 
First version of finiteness theorem

Very rough
created statement with label lemma-check-torsion in more-algebra.tex 2014-12-18 dbc1a25 
Torsion free and reflexive modules

Fun, fun, fun!

View Lemma 15.22.6 as pdf