mathlib

ded11fd2 - Refactor tactics for decomposing applications