llComment="no" data-isabs="false" visbl="pub"><a id="groupTerms(fd:provingground.FiniteDistribution[provingground.HoTT.Term]):Map[provingground.HoTT.Typ[provingground.HoTT.Term],provingground.FiniteDistribution[provingground.HoTT.Term]]"></a><a id="groupTerms(FiniteDistribution[Term]):Map[Typ[Term],FiniteDistribution[Term]]"></a> <span class="permalink"><a href="../../provingground/learning/SimpleEquations$.html#groupTerms(fd:provingground.FiniteDistribution[provingground.HoTT.Term]):Map[provingground.HoTT.