History of tag 0H2K
| type | time | link |
|---|---|---|
| assigned tag 0H2K | 2023-03-03 | c0c593d |
| changed the statement and the proof | 2023-01-12 | f1e7fc7 |
| changed the label to lemma-induced-quotient-ring-sheaf-module-structure | 2022-11-28 | 5c99107 |
| changed the statement | 2022-11-28 | 5c99107 |
| created statement with label in modules.tex | 2022-11-28 | 35bd84f |