diff options
| author | Pierre-Yves Strub | 2018-09-24 15:44:07 +0100 |
|---|---|---|
| committer | Assia Mahboubi | 2018-09-24 16:44:07 +0200 |
| commit | 5f8d45b54aa98732ec3de43d91814459d5a2f2e4 (patch) | |
| tree | e9b992ff2e48cc33d7a60136c7cfb37be09ae06e /mathcomp/fingroup | |
| parent | e22dda147ad60619b960e2b518075282c144be35 (diff) | |
Implementation of all2 (#224)
Added the definition of all2.
This definition of all2 has the useful computational behaviour, and all2E unfolds an equivalent one.
Diffstat (limited to 'mathcomp/fingroup')
0 files changed, 0 insertions, 0 deletions