n>, <span name="provingground.induction.ExstInducStrucs.IndConsSeqExst.Intros" class="extype">Intros</span>]]</h3></div><div name="scala.Predef.Ensuring" class="conversion"><h3>Inherited by implicit conversion Ensuring from<a href="" name="provingground.induction.ExstInducStrucs.IndConsSeqExst" id="provingground.induction.ExstInducStrucs.IndConsSeqExst" class="extype">IndConsSeqExst</a>[<span name="provingground.induction.ExstInducStrucs.IndConsSeqExst.SS" class="extype">SS</span>, <span name="provingground