diff options
| author | thery | 2016-09-15 17:39:55 +0200 |
|---|---|---|
| committer | thery | 2016-09-16 13:14:28 +0200 |
| commit | 88b1305ed18f783c7ec8e16ae8da1f932303742c (patch) | |
| tree | 615f06ea5cd108606427121f8b760ceda152eaf1 /mathcomp/ssreflect/plugin | |
| parent | 9c4f68936e33c93cf179eec6e996062bec918915 (diff) | |
Refactoring of binonial
Variable renaming from 'C(m,n) to 'C(n,m)
Renaming theorem mul_Sm_binn to mul_bin_diag
Adding theorems mul_bin_left mul_bin_right
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions