grapes-less-than-equals-grapes function

Partial Order in Sets and Concepts

  • Maintainer: Domingo Lopez Rodriguez
  • License: GPL-3
  • Last published: 2023-11-30