aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/field
diff options
context:
space:
mode:
authorCyril Cohen2020-11-20 16:26:52 +0100
committerGitHub2020-11-20 16:26:52 +0100
commit94b9fdb2b245ce1e4af3bae099f4488e35addeed (patch)
treefd6dae8a9e98d65f0ae53ec828562f1e25ea2b3a /mathcomp/field
parentb4cdd47bcd7f2b2f9033ee00b7412570b07b8808 (diff)
parent8aa783e1a4fb0f5c759d297f015686b7a1f99ed6 (diff)
Merge pull request #666 from ybertot/correct_all_pairs_dep_doc
typo in documentation of allpairs_dep
Diffstat (limited to 'mathcomp/field')
0 files changed, 0 insertions, 0 deletions