Def Mathlib.Tactic.ExtractGoal.goalSignature

Modification history

2025-08-14 23:22
Mathlib/Tactic/ExtractGoal.lean
feat: tactic analysis framework (#26683) …
Added Mathlib.Tactic.ExtractGoal.goalSignatureView on Github →