mathlib

c3a88ff7 - Merge branch 'eric-wieser/bilinear-tensor' into eric-wieser/quadratic-tensor