mathlib3

a08c9a72 - add printing for conclusions of sintros