lass="indented0 " name="provingground.induction.coarse.ConstructorSeq#|:" group="Ungrouped" fullComment="yes" data-isabs="false" visbl="pub"><a id="|:(head:provingground.induction.coarse.Constructor[C,H]):provingground.induction.coarse.ConstructorSeq.Cons[C,H]"></a><a id="|:(Constructor[C,H]):Cons[C,H]"></a> <span class="permalink"><a href="../../../provingground/induction/coarse/ConstructorSeq$$Empty.html#|:(head:provingground.induction.coarse.Constructor[C,H]):provingground.induction.coarse.ConstructorSeq