ut may also be tangents to this or intermediates.</p><div class="fullcomment"><div class="comment cmt"><p>Finite distributions, often supposed to be probability distributions,
but may also be tangents to this or intermediates.
</p></div><dl class="paramcmts block"><dt class="param">pmf</dt><dd class="cmt"><p>probability mass function, may have same object split.</p></dd></dl></div></li><li class="indented0 " name="provingground.LinearStructure" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pu