History of tag 0H4F
type | time | link |
---|---|---|
assigned tag 0H4F | 2023-06-27 | 74af77a |
changed the proof | 2023-05-23 | d0ebdb5 |
changed the proof | 2023-04-01 | d12861b |
created statement with label lemma-multiplicities-field-extension in relative-cycles.tex | 2023-03-10 | 4d7d825 |