ed" fullComment="no" data-isabs="false" visbl="pub"><a id="invImage(accum:provingground.learning.Deducer.InvMap):scala.collection.immutable.Vector[(provingground.HoTT.Term,Set[(provingground.HoTT.Term,provingground.HoTT.Term)])]"></a><a id="invImage(InvMap):Vector[(Term,Set[(Term,Term)])]"></a> <span class="permalink"><a href="../../provingground/learning/Deducer$Sampler.html#invImage(accum:provingground.learning.Deducer.InvMap):scala.collection.immutable.Vector[(provingground.HoTT.Term,Set[(provingground.H