ouped" fullComment="no" data-isabs="false" visbl="pub"><a id="vcons:provingground.HoTT.FuncLike[provingground.HoTT.Term,provingground.HoTT.Func[provingground.HoTT.Term,provingground.HoTT.Func[provingground.HoTT.Term,provingground.HoTT.Term]]]"></a><a id="vcons:FuncLike[Term,Func[Term,Func[Term,Term]]]"></a> <span class="permalink"><a href="../../provingground/library/Vecs$.html#vcons:provingground.HoTT.FuncLike[provingground.HoTT.Term,provingground.HoTT.Func[provingground.HoTT.Term,provingground.HoTT.Func[p