Induct

BasicProvers.Induct : tactic

Induct on leading universally quantified variable in a goal.

bossLib.Induct is identical to BasicProvers.Induct.

See also

bossLib.Induct