OrderRelation function

Extracting the order relation of a poset.

  • Maintainer: Alessandro Avellone
  • License: GPL (>= 2)
  • Last published: 2025-12-10

Useful links