diff options
| author | Kazuhiko Sakaguchi | 2020-10-29 11:59:58 +0900 |
|---|---|---|
| committer | GitHub | 2020-10-29 11:59:58 +0900 |
| commit | fe8759d1faec24cbe9d838f777682e260680d370 (patch) | |
| tree | e0fe1df765ec509c0b1a9d2440d7f65e7c38e4de /mathcomp/field/separable.v | |
| parent | 0fa6c4706c02ceb61c50a7769a0b598c0b82a001 (diff) | |
| parent | 96a540fcd58dd37ef464a89ac7dc6f5cb7e2dd65 (diff) | |
Merge pull request #605 from thery/bigop
Adding bigop lemmas for ring : expr_sum and prodr_natmul
Diffstat (limited to 'mathcomp/field/separable.v')
0 files changed, 0 insertions, 0 deletions