diff options
| author | Antonio Nikishaev | 2020-04-08 00:32:35 +0400 |
|---|---|---|
| committer | Antonio Nikishaev | 2020-04-08 01:34:03 +0400 |
| commit | bfd4b28b835e6918d7f4dea848c8b94f4c1c6f7f (patch) | |
| tree | 5eda6b55c8907856c311c798b8ff5dc8fb7ca82c /mathcomp/_CoqProject | |
| parent | 815d3cbfa2bf98b4b8f2bcd14819a20eca843e78 (diff) | |
fix typos in documentation: formulae
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions