Def Mathlib.Tactic.Says.parseAsTacticSeq

Modification history

2023-07-27 17:38
Mathlib/Tactic/Says.lean
feat: says tactic combinator (#5980) …
Added Mathlib.Tactic.Says.parseAsTacticSeqView on Github →