History of tag 0BAL
type | time | link |
---|---|---|
changed the proof | 2021-08-09 | 8ddec8a |
assigned tag 0BAL | 2015-05-13 | 4a51989 |
changed the proof | 2015-05-09 | eb25bb2 |
created statement with label lemma-locally-finite-nr-irred-local-fppf in descent.tex | 2015-05-07 | 001cfb7 |