- Paper companion
      Ordinals.Exponentiation.Paper.html

      - Overview
      Ordinals.Exponentiation.index.html