mathlib

a32de36f - feat(src/tactic/explode): add printing for conclusions of sintros