mathlib

aa664466 - fixed types in tensor_rep_def