diff options
| author | Laurent Théry | 2020-09-03 13:15:42 +0200 |
|---|---|---|
| committer | GitHub | 2020-09-03 13:15:42 +0200 |
| commit | b392a135a5f69a91526ce8004bb29659ef4be511 (patch) | |
| tree | 74949ce400f10a487b15b065e2356f78bf6d155f /mathcomp/ssreflect | |
| parent | 8354303bc6ef26ff92e923df60cb190fbedee984 (diff) | |
| parent | 31978e486f48b902d18c5f508e34bc016d7f47b8 (diff) | |
Merge pull request #560 from CohenCyril/commr_horner
Adding commr_horner lemma
Diffstat (limited to 'mathcomp/ssreflect')
0 files changed, 0 insertions, 0 deletions