diff options
| author | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-07-10 17:24:08 +0200 |
|---|---|---|
| committer | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-07-10 17:24:08 +0200 |
| commit | b3dab8fb10581feca94a76364b2ed4298675dbf8 (patch) | |
| tree | 716ff729435ac5dac351e0780b1001001a736a9b /README.md | |
| parent | dbe944be2941d04c8391ada2ba6c657be77aea60 (diff) | |
Theorem 3.23 fixed (hopefully)
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions