Def Lean.Elab.Tactic.andThenOnSubgoals

Modification history

2023-07-19 05:37
Mathlib/Tactic/Core.lean
chore: cleanup whitespace (#5988) …
Modified Lean.Elab.Tactic.andThenOnSubgoalsView on Github →
2022-12-21 04:17
Mathlib/Tactic/Core.lean
feat: implement basic version of tauto tactic (#1081) …
Added Lean.Elab.Tactic.andThenOnSubgoalsView on Github →