diff options
| author | Yves Bertot | 2019-11-20 16:19:10 +0100 |
|---|---|---|
| committer | GitHub | 2019-11-20 16:19:10 +0100 |
| commit | b1ca6a9be6861f6c369db642bc194cf78795a66f (patch) | |
| tree | b27f1fdad7765af9edc95a041f60f1d079d35970 /mathcomp/solvable | |
| parent | 7c6d15897ed5cd46486ef14ee20165c2d55203f2 (diff) | |
| parent | 95e69d88e9f629c043939b8315e73dbb58852d9a (diff) | |
Merge pull request #399 from CohenCyril/ltn_sub
More arithmetic theorems
Diffstat (limited to 'mathcomp/solvable')
0 files changed, 0 insertions, 0 deletions