History of tag 0DFY
type | time | link |
---|---|---|
changed the statement and the proof | 2021-04-29 | ff49ed6 |
assigned tag 0DFY | 2017-03-16 | 0a38c13 |
created statement with label lemma-h0-proper-over-henselian-pair in spaces-more-cohomology.tex | 2017-03-14 | 4421d4b |