History of tag 0H7D
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 0H7D
|
2024-06-06 |
e449af6
|
Tags: Added new tags
|
|
created statement with label lemma-normalization-trivial in morphisms.tex
|
2024-06-05 |
d48874b |
Characterize normal in terms of normalization
Thanks to ElÃas Guisado
https://stacks.math.columbia.edu/tag/035E#comment-8636
|