diff options
| author | thery | 2020-10-04 14:44:41 +0200 |
|---|---|---|
| committer | thery | 2020-10-10 15:47:22 +0200 |
| commit | 96a540fcd58dd37ef464a89ac7dc6f5cb7e2dd65 (patch) | |
| tree | bc6d227b251ff8148e5994b8850e957edd936bdd /mathcomp/character | |
| parent | eb47a0a031efab69f9a39c8cf356e2304c1e318f (diff) | |
Adding bigop lemmas for ring : expr_sum and prodr_natmul
Diffstat (limited to 'mathcomp/character')
0 files changed, 0 insertions, 0 deletions