"provingground.HoTT.Term" class="extype">Term</a>], <a href="HoTT$$Term.html" name="provingground.HoTT.Term" id="provingground.HoTT.Term" class="extype">Term</a>]]]</span></span></li><li class="indented0 " name="provingground.HoTT.ProdTyp#proj2" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="proj2:provingground.HoTT.FuncLike[provingground.HoTT.Typ[provingground.HoTT.Term],provingground.HoTT.FuncLike[provingground.HoTT.Typ[provingground.HoTT.Term],provingground.HoTT.Func[provinggrou