Loading [MathJax]/jax/input/TeX/config.js

The Stacks project

History of tag 0GHB

Go back to the tag's page.

type time link
changed the proof 2021-04-04 0bd0708
Apply proposition to get next step in contractions

The question is whether these proofs are so damn hard because we don't
insist on separation axioms everywhere or if it is just damn hard.
assigned tag 0GHB 2021-04-01 287eac1
Tags: added new tags
changed the proof 2021-03-20 0847c49
A bit more editing in contractions section
created statement with label lemma-solution in artin.tex 2021-03-18 6d8ce7c
Start writing on contractions a la Artin

Not sure how to improve on the notation...