aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/attic
diff options
context:
space:
mode:
authorCyril Cohen2016-10-13 14:18:48 +0200
committerGitHub2016-10-13 14:18:48 +0200
commitacf9529aa02b265ffd25e219232a246e92ae5d7f (patch)
treeb0c9078a9000320a4e88902f873cb59f9e2580d4 /mathcomp/attic
parent8cc15352747d37888afa77414aca532cdd7af769 (diff)
parent88b1305ed18f783c7ec8e16ae8da1f932303742c (diff)
Merge pull request #66 from thery/master
Adding theorems in binomial
Diffstat (limited to 'mathcomp/attic')
0 files changed, 0 insertions, 0 deletions