History of tag 08Z7
type | time | link |
---|---|---|
changed the proof | 2022-04-28 | 4028ad8 |
changed the proof | 2018-05-19 | 1936b6b |
assigned tag 08Z7 | 2013-05-01 | c7e9d24 |
created statement with label lemma-injective-hull-has-dcc in dualizing.tex | 2013-04-24 | 160183c |