Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0GCI

Go back to the tag's page.

type time link
assigned tag 0GCI 2021-02-08 bce5e9c 
Tags: added new tags
changed the proof 2021-02-03 dc3e96e 
Fix up tiny details on rig-smooth morphisms
created statement with label lemma-rig-smooth-continuous in restricted.tex 2021-02-02 3a6fcef 
More types of morphisms in restricted

View Lemma 88.17.1 as pdf