History of tag 097R
type | time | link |
---|---|---|
changed the statement | 2023-01-16 | 8be99f9 |
assigned tag 097R | 2013-06-11 | 855db3b |
changed the proof | 2013-05-09 | 509a429 |
created statement with label lemma-first-construction in proetale.tex | 2013-05-01 | cf5229c |