apply (config := cfg) e
is like apply e
but allows you to provide a configuration
cfg : ApplyConfig
to pass to the underlying apply operation.
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.