History of tag 05KD
| type | time | link |
|---|---|---|
| assigned tag 05KD | 2011-01-06 | 259c314 |
| changed the label to example-oka-family-bound-cardinality | 2011-01-04 | d4606b1 |
| changed the statement | 2011-01-04 | d4606b1 |
| created statement with label in algebra.tex | 2011-01-04 | 180c96a |