diff options
| author | Jeffrey Burdges <burdges@gnunet.org> | 2017-05-22 15:16:29 +0200 |
|---|---|---|
| committer | Jeffrey Burdges <burdges@gnunet.org> | 2017-05-22 15:16:29 +0200 |
| commit | a838af7dda84731e65e0da93d4568bd62b2d2e0c (patch) | |
| tree | 5c46c93f555ff9e42a9bcfd2a365cd3ab1341da1 /src | |
| parent | 6876e3178d48aefe396f076ea8013d438d79a268 (diff) | |
Improve proof, remove false generality
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions