ewscurtis.AndrewsCurtis.Vert" class="extmbr">Vert</a></span></span><div class="fullcomment"><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="" name="provingground.andrewscurtis.AndrewsCurtis.AtomicChain" id="provingground.andrewscurtis.AndrewsCurtis.AtomicChain" class="extype">AtomicChain</a> → <a href="AndrewsCurtis$$Chain.html" name="provingground.andrewscurtis.AndrewsCurtis.Chain" id="provingground.andrewscurtis.AndrewsCurtis.Chain" class="extype">Chain</a></dd></dl></div></li><li c