diff options
| author | Georges Gonthier | 2018-12-14 17:41:37 +0100 |
|---|---|---|
| committer | Georges Gonthier | 2018-12-14 17:43:07 +0100 |
| commit | 718ae58fbf794dd069d0d4a5e35da697f0aabba9 (patch) | |
| tree | f5df1e6dba976d8531791ec164273148bc9b7260 /mathcomp/ssreflect/path.v | |
| parent | f962d2a88254a99bffbc7d0a40949872a80f4669 (diff) | |
Correct and improve implicits and documentation of MatrixGenField
Refactored and completed implicit and scope signatures of constants of
MatrixGenField, the module that contains the construction of an
extension field for an irreducible representation, and for decidability
definitions.
Completed and corrected some errors in the corresponding header
documentation.
Diffstat (limited to 'mathcomp/ssreflect/path.v')
0 files changed, 0 insertions, 0 deletions