Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0CQB

Go back to the tag's page.

type time link
assigned tag 0CQB 2016-09-29 62260c7
Tags: Added new tags
created statement with label lemma-Mittag-Leffler in more-algebra.tex 2016-09-27 044a320
Emmanouil's result

First proof thanks to Daniel Litt