diff options
| author | Cyril Cohen | 2020-11-11 22:20:51 +0100 |
|---|---|---|
| committer | GitHub | 2020-11-11 22:20:51 +0100 |
| commit | 1890cc8cfc1725c99606b92f7a38217bd0e42bec (patch) | |
| tree | 9058d45a259f8ebefc004a39d324478a573d764e /mathcomp/Make | |
| parent | cf74596ed9f29ba4e6c125a7916f6c631366a6f3 (diff) | |
| parent | b408b52bcb89468c7d61c4c56c2e7c02d8f458a8 (diff) | |
Merge pull request #604 from chdoc/subseq
lemmas on `subseq` and `rot`
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions