aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/field
diff options
context:
space:
mode:
authorReynald Affeldt2020-05-31 00:24:10 +0900
committerCyril Cohen2020-06-06 01:44:09 +0200
commit7f355343ee30f72d8ab3ce87f897dc0092e43c29 (patch)
tree3654fd4e19da8f63eecbf9a344054035a84af2eb /mathcomp/field
parentefed1800a4f2eaa942704ab8bebc60d9a3ac8dfd (diff)
tentative changelog
- mostly gathered the changes from previous commits - add `minrC` - minor doc addition to `order.v`
Diffstat (limited to 'mathcomp/field')
0 files changed, 0 insertions, 0 deletions