aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/field
diff options
context:
space:
mode:
authorFlorent Hivert2016-05-12 15:34:51 +0200
committerFlorent Hivert2016-05-12 15:34:51 +0200
commit8c704cf7eaddd1858113e46ea00a79e094b102db (patch)
tree155a1642e93f4b2956daa380616dc37e3c39448f /mathcomp/field
parent0fedd37679abe2a9909ec03aebf01aab359a06fd (diff)
Fixes doc of mxrepresentation.v
Diffstat (limited to 'mathcomp/field')
0 files changed, 0 insertions, 0 deletions