Def Mathlib.Tactic.ExtractGoal.goalSignature

Modification history

2025-11-21 19:36
Mathlib/Tactic/ExtractGoal.lean
feat: `extract_goal` preserves explicit foralls (#31342) …
Modified Mathlib.Tactic.ExtractGoal.goalSignatureView on Github →
2025-08-14 23:22
Mathlib/Tactic/ExtractGoal.lean
feat: tactic analysis framework (#26683) …
Added Mathlib.Tactic.ExtractGoal.goalSignatureView on Github →