Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0GAK

Go back to the tag's page.

type time link
assigned tag 0GAK 2021-02-01 52667c8
Tags: added new tags
changed the proof 2021-01-25 ec7a085
Clean up material on rig-smooth maps a bit more
created statement with label lemma-rig-smooth in restricted.tex 2021-01-16 efd24a4
Rough discussion of rig-smooth maps

Very rough discussion. The material in this commit will gives us a
strengthening of 0AK9 to rig-smooth maps and moreover it corrects the
mistake of the proof of that lemma!