History of tag 0BWN
| type | time | link |
|---|---|---|
| moved the statement to file discriminant.tex | 2017-06-06 | a866f45 |
| assigned tag 0BWN | 2016-02-02 | 2f70bed |
| changed the proof | 2016-01-30 | 601f350 |
| created statement with label lemma-agree-dedekind in dualizing.tex | 2016-01-27 | a0a317c |