diff options
| author | Reynald Affeldt | 2020-06-02 18:14:22 +0900 |
|---|---|---|
| committer | Reynald Affeldt | 2020-06-02 19:53:11 +0900 |
| commit | 3d77e498c075af6f642b3239acf4b18503c1e6bc (patch) | |
| tree | fdad84eda994116eadc8846d77ad738dda2731ff /CONTRIBUTING.md | |
| parent | a65958322cb6ee84f3ebbb68d1fb4867749cf1a0 (diff) | |
another lemma about norm from mathcomp-analysis
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions