arams">(<span name="accum">accum: <a href="Deducer$.html#InvMap=Vector[(provingground.HoTT.Term,Set[(provingground.HoTT.Term,provingground.HoTT.Term)])]" name="provingground.learning.Deducer.InvMap" id="provingground.learning.Deducer.InvMap" class="extmbr">InvMap</a> = <span class="symbol"><span class="name"><a href="../../scala/index.html">Vector()</a></span></span></span>)</span><span class="result">: <a href="TermPopulation.html" name="provingground.learning.TermPopulation" id="provingground.learning.Ter