PosetMap == PosetMap -- whether two poset maps are equal

• Operator: ==

• Usage:

  P==Q

• Inputs:
  • P, a map of posets,
  • Q, a map of posets,
• Outputs:
  • a Boolean value,