diff options
| author | Landon D. C. Elkind | 2021-02-02 07:37:11 -0700 |
|---|---|---|
| committer | GitHub | 2021-02-02 07:37:11 -0700 |
| commit | 0ccdbb2a6924041f697484a555557328f0d77d9b (patch) | |
| tree | 12cf12e6804afe12493ee7dbaa5e6f1a7d78b5f6 /PL.pdf | |
| parent | bcb57775f32e98dbdd0367d1bb6af5f73f4e03d3 (diff) | |
New proof of *4.86, added explicit substitutions
Diffstat (limited to 'PL.pdf')
0 files changed, 0 insertions, 0 deletions