History of tag 0D2S
type | time | link |
---|---|---|
changed the proof | 2024-06-17 | 0930990 |
changed the statement | 2017-08-01 | ee49e87 |
assigned tag 0D2S | 2016-12-10 | e74f615 |
created statement with label lemma-ample-in-neighbourhood in more-morphisms.tex | 2016-12-07 | 11f05f8 |