diff options
| author | Antonio Nikishaev | 2019-09-28 23:35:26 +0300 |
|---|---|---|
| committer | Assia Mahboubi | 2019-09-28 22:35:26 +0200 |
| commit | d3dc7c337f2f031cec57d1f8804d59662e36ecfb (patch) | |
| tree | ca4dc16f0b9a65450a5c4b3826c5a849a1838cac /mathcomp/ssreflect/binomial.v | |
| parent | 50856f013e47c6469bb9c05300c48d94db121195 (diff) | |
maxn comment fix (#385)
Diffstat (limited to 'mathcomp/ssreflect/binomial.v')
0 files changed, 0 insertions, 0 deletions