Def Mathlib.Tactic.RewriteSearch.SearchNode.penalty

Modification history