Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0FH8

Go back to the tag's page.

type time link
assigned tag 0FH8 2019-08-28 c905dd0
Tags: added new tags
created statement with label lemma-kernel-to-closure in weil.tex 2019-08-23 f84de3c
More detail in Voevodsky thing

The proof clearly works but it is still a bit rough. Going to leave it
alone for now.