diff options
| author | Ian Jauslin <ian@jauslin.org> | 2022-06-15 22:51:58 +0200 |
|---|---|---|
| committer | Ian Jauslin <ian@jauslin.org> | 2022-06-15 22:55:45 +0200 |
| commit | fddcf91b6a21d7ecd47422e122b13cc2651fed52 (patch) | |
| tree | 0478cf812d6893744c2341f5751629241bccbef9 /libs/iantheo.sty | |
| parent | d254a3e3f495e9cd3110ae48020786466d850d57 (diff) | |
Fix notations and typos, and shorten proof of lemma A1.1v1.0.1
Diffstat (limited to 'libs/iantheo.sty')
0 files changed, 0 insertions, 0 deletions