summaryrefslogtreecommitdiffstats
path: root/vc
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-04-08 15:26:19 +0200
committerDavid A. Madore <david+git@madore.org>2016-04-08 15:26:19 +0200
commit37ed8e98b5ee7200288490fe8787753beca0d8fe (patch)
tree5a9e3814b7526cea08aaf08da0a66f41e8dc381d /vc
parentceae182060fd857824f396a8f161ffebcb9b8c02 (diff)
downloadaccq205-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