aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/field
diff options
context:
space:
mode:
authorReynald Affeldt2020-04-06 08:21:41 +0900
committerReynald Affeldt2020-04-06 08:21:41 +0900
commit942109a5fc1da2f26c58ad13eda095350eb390ff (patch)
tree9977671907a5afd048943ce7e6eb85db0bbb966d /mathcomp/field
parent0ce6013351c60f0abd4445c9eeccdd3749b071ec (diff)
minor documentation fix
Diffstat (limited to 'mathcomp/field')
0 files changed, 0 insertions, 0 deletions