d="subs(x:provingground.HoTT.Term,y:provingground.HoTT.Term):provingground.induction.ConstructorSeqMap.InducDataSym[Cwithprovingground.HoTT.Subs[C]]"></a><a id="subs(Term,Term):InducDataSym[CwithSubs[C]]"></a> <span class="permalink"><a href="../../provingground/induction/ConstructorSeqMap$$InducDataSym.html#subs(x:provingground.HoTT.Term,y:provingground.HoTT.Term):provingground.induction.ConstructorSeqMap.InducDataSym[Cwithprovingground.HoTT.Subs[C]]" title="Permalink"><i class="material-icons"></i></a>