History of tag 0B7T
| type | time | link |
|---|---|---|
| assigned tag 0B7T | 2015-04-22 | e1ef4ca |
| changed the label to lemma-profinite-product-over-field | 2015-04-22 | 2908529 |
| changed the statement and the proof | 2015-04-22 | 2908529 |
| created statement with label lemma-compact-set-in-affine in groupoids.tex | 2015-04-21 | a01b9da |