diff options
| author | Laurent Théry | 2019-10-26 13:02:58 +0200 |
|---|---|---|
| committer | GitHub | 2019-10-26 13:02:58 +0200 |
| commit | 9ec6b02e673d0808b3ba4a6c4f849405bf222ae1 (patch) | |
| tree | 46671713f1ed295d65aca33ce957ba65b52743f0 /mathcomp/algebra | |
| parent | cd81418979c9783f9dae65d2aea98742919420e5 (diff) | |
| parent | 45b92eabb37cf1f8465ed2f3abe13666096c5c27 (diff) | |
Merge pull request #397 from CohenCyril/remove_addnKC
Removing duplicate lemma `addnKC` (= `addKn`)
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions