diff options
| author | Cyril Cohen | 2020-03-18 12:39:52 +0100 |
|---|---|---|
| committer | GitHub | 2020-03-18 12:39:52 +0100 |
| commit | 0f6039deec22723266023a12ccc1d2f6b392e0d7 (patch) | |
| tree | cb58acf49c8ecedf233d45a339c54d5ba7f85513 /mathcomp/_CoqProject | |
| parent | 41a995ad5cb0c5c99e2629bae0699bdf13e73e22 (diff) | |
| parent | 9ff5576733fbb34f07142e17fa6835af1ab708de (diff) | |
Merge pull request #459 from CohenCyril/sub_sorted
Link between subrelations and path/sorted
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions