def Mathlib.Tactic.Substs.substs : Lean.ParserDescr

Applies the subst tactic to all given hypotheses from left to right.