History of tag 0E6B
type | time | link |
---|---|---|
changed the statement | 2022-01-18 | 4a76dee |
changed the proof | 2018-09-06 | 42f1629 |
assigned tag 0E6B | 2017-07-19 | 1be5a61 |
created statement with label lemma-proper-flat-h0 in spaces-perfect.tex | 2017-07-17 | 1144515 |