diff options
| author | affeldt-aist | 2020-04-15 15:45:24 +0200 |
|---|---|---|
| committer | GitHub | 2020-04-15 15:45:24 +0200 |
| commit | adf3b13efd52d696297ed9ee1164e6619d825fc0 (patch) | |
| tree | cea15b6018d326b9fc106a37e837aa49c970af5b /mathcomp/_CoqProject | |
| parent | 3bd9af07d734f51de8a7ebde9004c1750400f89b (diff) | |
| parent | 6dac040b009e10bc4fa0420f7c40ae9134594c86 (diff) | |
Merge pull request #221 from hivert/permcompl
Some more lemmas on permutations
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions