History of tag 065F
type | time | link |
---|---|---|
changed the statement and the proof | 2021-04-02 | d9792a3 |
changed the proof | 2011-05-09 | 2f81671 |
assigned tag 065F | 2011-04-25 | c3f7120 |
created statement with label lemma-pull-push in more-algebra.tex | 2011-04-25 | 30de830 |