History of tag 08NF
| type | time | link |
|---|---|---|
| changed the proof | 2015-02-10 | 5633bed |
| changed the proof | 2014-02-24 | 61a8a4e |
| assigned tag 08NF | 2013-03-03 | 138b618 |
| created statement with label lemma-ameliorate-morphism-fibred-categories in categories.tex | 2013-02-27 | 1326e59 |