History of tag 0CM5
type | time | link |
---|---|---|
assigned tag 0CM5 | 2016-06-29 | 4288e40 |
changed the statement and the proof | 2016-06-24 | 46e5938 |
created statement with label lemma-refined-valuative-criterion-universally-closed in limits.tex | 2016-06-22 | 2e8ead4 |