diff options
| author | Cyril Cohen | 2019-10-30 14:47:58 +0100 |
|---|---|---|
| committer | GitHub | 2019-10-30 14:47:58 +0100 |
| commit | c5bd1d4d29021688db59495a8b60c84f5dea6b77 (patch) | |
| tree | 7847e0038456471e3a553da2cc90da587d641038 /mathcomp/ssreflect/path.v | |
| parent | 9ec6b02e673d0808b3ba4a6c4f849405bf222ae1 (diff) | |
| parent | a4d04cdad0a52db675eeab21dec3d46468ea657c (diff) | |
Merge pull request #400 from pi8027/scale-type
Add an explicit type annotation to GRing.scale
Diffstat (limited to 'mathcomp/ssreflect/path.v')
0 files changed, 0 insertions, 0 deletions