diff options
| author | Pierre-Marie Pédrot | 2020-03-18 15:12:54 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-03-19 12:18:09 +0100 |
| commit | a937704fdfe97ddba053fa0865db13a22d554062 (patch) | |
| tree | 449d6164cc62f67ee4526f0ece0da8fc391bc060 /dev/bugzilla2github_stripped.csv | |
| parent | b69b87ce35b09b164929974b85b815d259185f18 (diff) | |
Dedicate type for monomials in Micromega.Vect.
This enforces monomorphism everywhere possible.
Diffstat (limited to 'dev/bugzilla2github_stripped.csv')
0 files changed, 0 insertions, 0 deletions