ly to have common ingredients in proofs" class="class"></a><a href="HoTTMessages$$RelatedStatements.html" title="Other types that are likely to have common ingredients in proofs">RelatedStatements</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="HoTTMessages$$RepresentationMap.html" title="" class="class"></a><a href="HoTTMessages$$RepresentationMap.html" title="">RepresentationMap</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="