diff options
| author | David A. Madore <david+git@madore.org> | 2016-04-10 16:30:18 +0200 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2016-04-10 16:37:07 +0200 |
| commit | 5088c051fb59c9137b7d733cc81ddda9d1a8f0de (patch) | |
| tree | b6b34ba2775038ceb208b866aaf532ff12f52e28 /vc | |
| parent | bb80e649862bc664dbdeef21ca6f3b3ba7d102e5 (diff) | |
| download | accq205-5088c051fb59c9137b7d733cc81ddda9d1a8f0de.tar.gz accq205-5088c051fb59c9137b7d733cc81ddda9d1a8f0de.tar.bz2 accq205-5088c051fb59c9137b7d733cc81ddda9d1a8f0de.zip | |
Provide at least some references for statements with missing proofs.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions