diff options
| author | Jaron Kent-Dobias <jaron@kent-dobias.com> | 2023-01-26 16:00:42 +0100 |
|---|---|---|
| committer | Jaron Kent-Dobias <jaron@kent-dobias.com> | 2023-01-26 16:00:42 +0100 |
| commit | 878779bb9266aaa754997daf3ace05d32fceaa82 (patch) | |
| tree | 725a8a6e7f330c414587c0f3de634dafcee899b5 /proofs | |
| parent | 5c203019791f877f16c7f4819693c8f28b472310 (diff) | |
| download | PRE_107_064111-878779bb9266aaa754997daf3ace05d32fceaa82.tar.gz PRE_107_064111-878779bb9266aaa754997daf3ace05d32fceaa82.tar.bz2 PRE_107_064111-878779bb9266aaa754997daf3ace05d32fceaa82.zip | |
Removed extra citation.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions