aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/all
diff options
context:
space:
mode:
authorLaurent Théry2018-07-19 18:59:10 +0200
committerGitHub2018-07-19 18:59:10 +0200
commit1897c9978a61f03819ffb1ea6bc6199d87975485 (patch)
tree0a0ca469a8c5c78c534ba08f9a7ab9bdd8a4f889 /mathcomp/all
parentcd396d5e5de0ed51278df38961d4a455085fd53b (diff)
parent47831fdfcc1aa313b722232cebde2d3607f2e9b2 (diff)
Merge pull request #202 from CohenCyril/improving-poly
small generalizations and extensions in poly
Diffstat (limited to 'mathcomp/all')
0 files changed, 0 insertions, 0 deletions