aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/field
diff options
context:
space:
mode:
authorAntonio Nikishaev2020-04-09 11:10:17 +0400
committerAntonio Nikishaev2020-04-09 11:12:47 +0400
commit31dec18a2539cfdac70fd87401db2b4b14d81d16 (patch)
treed39377474f8db1b94df5118341c9588e106c37c4 /mathcomp/field
parent7d6e46ec9c8067553e9a82b5345778f00cf3c1e9 (diff)
docs: more ".-tuple" fixes
Diffstat (limited to 'mathcomp/field')
0 files changed, 0 insertions, 0 deletions