mathlib

627b4317 - feat(tactic/find_unused): find the dead code in a module (#3701)