History of tag 09VA
type | time | link |
---|---|---|
changed the proof | 2016-08-31 | 09f33a0 |
changed the statement | 2015-08-26 | 8f08ca1 |
assigned tag 09VA | 2013-12-27 | 778cafd |
created statement with label lemma-closed-push-pseudo-coherent in perfect.tex | 2013-12-23 | acbc676 |