Induct_on

BasicProvers.Induct_on : term quotation -> tactic

Induct on given term.

bossLib.Induct_on is identical to BasicProvers.Induct_on.

See also

bossLib.Induct_on