mathlib3

181647bb - feat(tactic/basic): utility functions for names (#791)