Copy-paste error; called DefTensorEnd DefTensorBeginning.
Merge pull request #1 from xAct-contrib/master

Copy-paste error; called DefTensorEnd DefTensorBeginning.