Induct_on

BasicProvers.Induct_on : term quotation -> tactic

Re-exported from bossLib.Induct_on. See that entry for full documentation.