History of tag 0GI3
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2024-06-17 |
0930990 |
fix small typos
|
|
assigned tag 0GI3
|
2021-04-10 |
147c399
|
Tags: added new tags
|
|
created statement with label proposition-glue-modification in restricted.tex
|
2021-04-04 |
d398e07 |
Finally able to use the result from 9f4531d
I've wanted to use this for a long time, but I didn't know how or where
I would use it. I wrote it in 2014! Fun.
|