Def Mathlib.Tactic.LibrarySearch.discrTreeConfig

Modification history