Skip to content

New orderability theorem(s) - #1421

Merged
prabau merged 11 commits into
mainfrom
pzjp/order-thm
Sep 1, 2025
Merged

New orderability theorem(s)#1421
prabau merged 11 commits into
mainfrom
pzjp/order-thm

Commits

  1. Commits on Aug 27, 2025

    • T768

      pzjppzjp
      authored
      4188f53

    • cf. S102

      pzjppzjp
      authored
      60d8862

    • +main

      pzjppzjp
      committed
      f653149

    • local thm

      pzjppzjp
      authored
      a79ec07

  2. Commits on Aug 28, 2025

    • renumber

      pzjppzjp
      authored
      92cd78f

  3. Commits on Aug 29, 2025

  4. Commits on Aug 31, 2025

  5. Commits on Sep 1, 2025