oTT.Term,provingground.HoTT.Term)])]" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="modifier"></span> <span class="kind">def</span></span> <span class="symbol"><span class="name">invImage</span><span class="params">(<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" clas