Travis okays sorry

Stream: maths

[Chris Hughes]

Travis is has #1297 down as a build success, even though there are sorries. Perhaps this behaviour should be changed.

[Johan Commelin]

I must agree with Travis that #1297 is a big success (-;