diff options
| author | Georges Gonthier | 2018-12-14 18:56:19 +0100 |
|---|---|---|
| committer | GitHub | 2018-12-14 18:56:19 +0100 |
| commit | 91fa7b5739605e70959e9a02c43135ca55c12e0a (patch) | |
| tree | f5df1e6dba976d8531791ec164273148bc9b7260 /mathcomp/ssreflect/path.v | |
| parent | f962d2a88254a99bffbc7d0a40949872a80f4669 (diff) | |
| parent | 718ae58fbf794dd069d0d4a5e35da697f0aabba9 (diff) | |
Merge pull request #264 from math-comp/document-MatrixGenField
Correct and improve implicits and documentation of MatrixGenField; also corrects changes in #262 to allow for a compatible fix in `odd-order`.
Diffstat (limited to 'mathcomp/ssreflect/path.v')
0 files changed, 0 insertions, 0 deletions