Documentation

Mathlib.Tactic.ApplyWith

apply (config := cfg) e is like apply e but allows you to provide a configuration cfg : ApplyConfig to pass to the underlying apply operation.

Instances For