Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0EX1

Go back to the tag's page.

type time link
assigned tag 0EX1 2018-09-10 9e9168e
Tags: Added new tags
created statement with label lemma-finite-type-eventually-proper in limits.tex 2018-09-07 a3decc4
Improve a proof and add a lemma

Tried to improve the proof of a rather nasty lemma (the nastyness coming
mainly from unneccesary level of generality)...