diff options
| author | David A. Madore <david+git@madore.org> | 2016-04-08 15:26:19 +0200 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2016-04-08 15:26:19 +0200 |
| commit | 37ed8e98b5ee7200288490fe8787753beca0d8fe (patch) | |
| tree | 5a9e3814b7526cea08aaf08da0a66f41e8dc381d /vc | |
| parent | ceae182060fd857824f396a8f161ffebcb9b8c02 (diff) | |
| download | accq205-37ed8e98b5ee7200288490fe8787753beca0d8fe.tar.gz accq205-37ed8e98b5ee7200288490fe8787753beca0d8fe.tar.bz2 accq205-37ed8e98b5ee7200288490fe8787753beca0d8fe.zip | |
Record more precise statement proved in a lemma, for future use.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions