Def Mathlib.TacticAnalysis.Config.ofComplex

Modification history

2025-08-14 23:22

Mathlib/Tactic/TacticAnalysis.lean

feat: tactic analysis framework (#26683) …

Added Mathlib.TacticAnalysis.Config.ofComplex View on Github →