mathlib

5169595d - chore(tactic/omega): add trace.omega option to show internal representation (#2377)