Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0H3F

Go back to the tag's page.

type time link
assigned tag 0H3F 2023-06-27 74af77a 
Tags: Added new tags
changed the proof 2023-06-27 53fe885 
Fix internal reference
created statement with label lemma-base-change-dominant in morphisms.tex 2023-06-14 62d2fe5 
Small improvements of stuff on weak normalization

View Lemma 29.8.4 as pdf