-_should-be-_
Merge branch 'master' into small-renamings
Merge pull request #49 from eggrobin/small-renamings

Small renamings
Merge branch 'master' into Algebra