History of tag 0D3D
type | time | link |
---|---|---|
changed the proof | 2024-06-17 | 0930990 |
assigned tag 0D3D | 2016-12-10 | e74f615 |
changed the proof | 2016-12-10 | 91d24cc |
created statement with label lemma-ample-in-neighbourhood in spaces-descent.tex | 2016-12-09 | 8043fdb |