History of tag 09B1
| type | time | link |
|---|---|---|
| changed the statement | 2024-05-15 | 0685cbe |
| changed the statement and the proof | 2019-03-29 | 7dfb8b3 |
| assigned tag 09B1 | 2013-06-22 | a9ba337 |
| created statement with label lemma-compare-derived in proetale.tex | 2013-06-13 | 41df5eb |