ground.HoTT.Subs" id="provingground.HoTT.Subs" class="extype">Subs</a>[<span name="provingground.induction.TypFamilyExst.getFamily.Fb" class="extype">Fb</span>]</span>]</span><span class="params">(<span name="w">w: <span name="provingground.induction.TypFamilyExst.getFamily.Fb" class="extype">Fb</span></span>)</span><span class="result">: <a href="TypFamilyExst.html" name="provingground.induction.TypFamilyExst" id="provingground.induction.TypFamilyExst" class="extype">TypFamilyExst</a></span></span></li><li