ass="args">()</span> </dd></dl></div></li><li class="indented0 " name="provingground.library.Vecs#concatVn" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="concatVn:provingground.HoTT.FuncLike[provingground.HoTT.Term,provingground.HoTT.Func[provingground.HoTT.Term,provingground.HoTT.Term]]"></a><a id="concatVn:FuncLike[Term,Func[Term,Term]]"></a> <span class="permalink"><a href="../../provingground/library/Vecs$.html#concatVn:provingground.HoTT.FuncLike[provingground.HoTT.Term,provi