mathlib

1bc6ebaa - fix(tactic/interactive_expr): show let-values in tactic state widget (#3228)

fix(tactic/interactive_expr): show let-values in tactic state widget (#3228) Fixes the missing let-values in the tactic state widget:  Co-authored-by: Rob Lewis <Rob.y.lewis@gmail.com>