round.induction.ConstructorSeqTL.rec.C" class="extype">C</span>, <span name="provingground.induction.ConstructorSeqTL.H" class="extype">H</span>, <span name="provingground.induction.ConstructorSeqTL.rec.RecType" class="extype">RecType</span>, <span name="provingground.induction.ConstructorSeqTL.rec.InducType" class="extype">InducType</span>, <span name="provingground.induction.ConstructorSeqTL.Intros" class="extype">Intros</span>]</span>)</span><span class="result">: <span name="provingground.induction.Cons