mathlib

9fbfe5f4 - Add ring instance for tensor_algebra