Def ConvSelectionPanel

Modification history

2026-01-13 15:36
Mathlib/Tactic/Widget/Conv.lean
fix(Tactic/Widget/Conv): fix various issues (#25889) …
Deleted ConvSelectionPanelView on Github →
2023-10-05 03:08
Mathlib/Tactic/Widget/Conv.lean
feat: Select and insert widgets (#7260) …
Added ConvSelectionPanelView on Github →