mathlib3

c9cfafc9 - chore(tactics): splitting tactics and tests into more files (#985)

chore(tactics): splitting tactics and tests into more files (#985) * chore(tactics): splitting tactics and tests into more files, cleaning up dependencies * tweaking comment * introducing `tactic.basic` and fixing imports * fixes * fix copyright * fix some things