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 |