Inductive Mathlib.TacticAnalysis.TriggerCondition

Modification history