diff options
| author | Kazuhiko Sakaguchi | 2020-10-30 12:12:26 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-10-30 12:12:26 +0900 |
| commit | bd02346e4038871f4d4021dd84df384fc8cf9aa4 (patch) | |
| tree | 62f0dc367dc9ab3fa4210ee5e003b03a34eda25f /mathcomp/ssreflect/path.v | |
| parent | a9767fcd4713fc37e57fc9cc2a7864879effbf73 (diff) | |
Use `exp` rather than `X` for exponents of polynomials
Diffstat (limited to 'mathcomp/ssreflect/path.v')
0 files changed, 0 insertions, 0 deletions