History for tag 08MF—The Stacks project

History of tag 08MF

type	time	link
changed the statement and the proof	2017-04-11	04fef69
New macro: \Ext
changed the proof	2013-12-22	e179438
LaTeX Introduced a macro \def\Ker{\text{Ker}} and replace all occurrences of \text{Ker} with \Ker
assigned tag 08MF	2013-02-19	875629a
Tags: Added new tags
created statement with label lemma-inf-obs-ext-ringed-topoi in defos.tex	2013-02-19	4090449
Module on first order thickenings of ringed topoi