diff options
| author | Cyril Cohen | 2019-10-25 19:08:56 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2019-10-25 19:10:18 +0200 |
| commit | 45b92eabb37cf1f8465ed2f3abe13666096c5c27 (patch) | |
| tree | 46671713f1ed295d65aca33ce957ba65b52743f0 /docs | |
| parent | cd81418979c9783f9dae65d2aea98742919420e5 (diff) | |
Removing duplicate lemma `addnKC` (= `addKn`)
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions