diff options
| author | Cyril Cohen | 2019-11-19 00:46:18 +0100 |
|---|---|---|
| committer | GitHub | 2019-11-19 00:46:18 +0100 |
| commit | 7c6d15897ed5cd46486ef14ee20165c2d55203f2 (patch) | |
| tree | ac946fa39660b37f7b5a99a376ff0cd5c5164a50 /mathcomp/solvable | |
| parent | 33c8653c2ad25896d2ffa8bcf98053119699b493 (diff) | |
| parent | 6c78e2dbfda528a660c2b4d15294dc93c302c92c (diff) | |
Merge pull request #420 from pi8027/all-lemmas
Add all_filter, all_pmap, and all_allpairsP in seq.v
Diffstat (limited to 'mathcomp/solvable')
0 files changed, 0 insertions, 0 deletions