History of tag 0GVB
| type | time | link |
|---|---|---|
| assigned tag 0GVB | 2022-03-21 | 7cab5c5 |
| changed the proof | 2022-03-20 | 594c389 |
| changed the statement and the proof | 2022-03-20 | 01765aa |
| created statement with label proposition-splitting in more-algebra.tex | 2022-03-20 | d11d5ea |