ground.induction.TypFamilyExst.apply.Fib" class="extype">Fib</span>, <span name="provingground.induction.TypFamilyExst.apply.In" class="extype">In</span>]</span>, <span name="w">w: <span name="provingground.induction.TypFamilyExst.apply.Fib" class="extype">Fib</span></span>)</span><span class="params">(<span class="implicit">implicit </span><span name="arg0">arg0: <a href="../TermList.html" name="provingground.TermList" id="provingground.TermList" class="extype">TermList</a>[<span name="provingground.induct