aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/algebra
diff options
context:
space:
mode:
authorCyril Cohen2017-12-11 11:05:31 +0100
committerCyril Cohen2017-12-11 11:05:31 +0100
commit7e9df26ca2a95b465244d3102f11f465f27f3aea (patch)
tree3d4c9282f9079596a1506c12829d26e85923b664 /mathcomp/algebra
parent6b25220e33cd141a3fc219e31f7251c0ee47fae7 (diff)
fixing typos
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions