History of tag 0C2M
type | time | link |
---|---|---|
changed the proof | 2022-01-08 | aed9225 |
changed the statement and the proof | 2016-03-22 | 0eef22e |
assigned tag 0C2M | 2016-03-04 | 82fa846 |
created statement with label lemma-contract-ample in resolve.tex | 2016-02-29 | 7a3ee4c |