aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/algebra/mxpoly.v
diff options
context:
space:
mode:
authorCyril Cohen2019-11-18 15:19:09 +0100
committerCyril Cohen2019-11-18 15:20:15 +0100
commit359abfc1d67843216b0362d2fee3b8d650ff7ec0 (patch)
tree088824008788e0de5aa328f18f6b7824d6503019 /mathcomp/algebra/mxpoly.v
parentf6d25edde35e9e1fe6260c7bd3a0717147560d40 (diff)
Documenting `L` and `R` in `CONTRIBUTING.md`
Diffstat (limited to 'mathcomp/algebra/mxpoly.v')
0 files changed, 0 insertions, 0 deletions