The existsi
tactic #
This file defines the existsi
tactic: its purpose is to instantiate existential quantifiers.
Internally, it applies the refine
tactic.
existsi
tactic #This file defines the existsi
tactic: its purpose is to instantiate existential quantifiers.
Internally, it applies the refine
tactic.