Def Mathlib.Tactic.InteractiveUnfold.filteredUnfolds

Modification history

2024-07-20 01:12

Mathlib/Tactic/Widget/InteractiveUnfold.lean

feat: interactive `unfold?` tactic (#12016) …

Added Mathlib.Tactic.InteractiveUnfold.filteredUnfolds View on Github →