Documentation

Mathlib.Tactic.Substs

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

Instances For