diff options
| author | Laurent Théry | 2020-06-24 18:15:11 +0200 |
|---|---|---|
| committer | GitHub | 2020-06-24 18:15:11 +0200 |
| commit | 6ad37558afefbad4954214c439cdc41cafdc829b (patch) | |
| tree | 134024eeace85e6391c3f1e4e80cf397984fca79 /etc/utils | |
| parent | f25ef67ad2f58a30f1e700da89811b193755d84e (diff) | |
| parent | 85ea6531db1cbab7d0334438791c67f55b93cf6c (diff) | |
missing bigop lemmas (#537)
* missing lemmas discovered while developing mathcomp-analysis
Co-authored-by: Cohen Cyril <cyril.cohen@inria.fr>
* Intermediate lemmas and shortening proofs (thanks Laurent)
Co-authored-by: Cohen Cyril <cyril.cohen@inria.fr>
Co-authored-by: Cyril Cohen <cohen@crans.org>
Diffstat (limited to 'etc/utils')
0 files changed, 0 insertions, 0 deletions