Theorem create_a_few_goals

Modification history

2025-11-04 18:11
MathlibTest/TacticAnalysis.lean
feat(TacticAnalysis): check if we are in a `try`/`anyGoals` context (#29964) …
Added create_a_few_goalsView on Github →