]> git.rustad.me Git - master/commit
More theorems
authorBjørn Rustad <bjorn@rustad.me>
Tue, 28 Oct 2014 16:34:08 +0000 (17:34 +0100)
committerBjørn Rustad <bjorn@rustad.me>
Tue, 28 Oct 2014 16:34:08 +0000 (17:34 +0100)
commitbac97117ae309902f46deeac6bee283640ca954d
treef7ea886cd8eeef60efe8178497073f27116e82ac
parentcaecfb70ae3ce754a806fa7a75f339dba2ea4043
More theorems
theory.tex