Induct

BasicProvers.Induct : tactic

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