History of tag 0B3N
| type | time | link |
|---|---|---|
| changed the statement and the proof | 2016-05-26 | f4cef12 |
| assigned tag 0B3N | 2015-03-12 | be69927 |
| changed the proof | 2015-03-12 | 3902326 |
| created statement with label lemma-reflexive-over-regular-dim-2 in divisors.tex | 2015-03-10 | bf8ef03 |