History of tag 0BW3
| type | time | link |
|---|---|---|
| moved the statement to file discriminant.tex | 2017-06-06 | a866f45 |
| assigned tag 0BW3 | 2016-02-02 | 2f70bed |
| changed the statement | 2016-01-27 | a0a317c |
| created statement with label lemma-flat-dedekind-complementary-module-trace in dualizing.tex | 2016-01-26 | 8193abd |