Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 07VG

Go back to the tag's page.

type time link
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 07VG 2012-07-03 3fe4cf9
Tags: Added new tags
created statement with label lemma-works-flat-extension in more-algebra.tex 2012-06-13 5543736
Approximation

	This seems a nice way to begin to prove things.