History of tag 07ZQ
| type | time | link |
|---|---|---|
| changed the label to lemma-push-sections-supported-on-closed-subset | 2012-08-22 | 3bdb096 |
| changed the statement and the proof | 2012-08-22 | 3bdb096 |
| assigned tag 07ZQ | 2012-07-19 | 764591f |
| created statement with label lemma-push-sections-supported-in-closed-subset in properties.tex | 2012-07-19 | f84664d |