Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0H71

Go back to the tag's page.

type time link
changed the proof 2024-06-17 0930990
fix small typos
assigned tag 0H71 2024-06-06 e449af6
Tags: Added new tags
created statement with label lemma-mini-separability in algebra.tex 2024-05-31 4cb0036
Better proof of tricky lemma

Thanks to David Rufino who sent a sort of pull request which I then
applied on the command line and edited.