FsetInduction.Induction is valid whatever p, so change it to a lemma.
FsetInduction.Induction is valid whatever p, so change it to a lemma.

ssaavedra/why3,douglas-larocca/why3,jpdeplaix/why3,jpdeplaix/why3,jpdeplaix/why3,douglas-larocca/why3,ssaavedra/why3,ssaavedra/why3,douglas-larocca/why3