diff options
| author | Christian Doczkal | 2020-11-11 20:32:54 +0100 |
|---|---|---|
| committer | Christian Doczkal | 2020-11-11 20:38:49 +0100 |
| commit | b408b52bcb89468c7d61c4c56c2e7c02d8f458a8 (patch) | |
| tree | 9058d45a259f8ebefc004a39d324478a573d764e /mathcomp/_CoqProject | |
| parent | 85aee7ba9a19dceccc49c16b3d9eb295c60de774 (diff) | |
make pivot the first argument in uniq_subseq_pivot
Co-authored-by: Cyril Cohen <CohenCyril@users.noreply.github.com>
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions