caterwaul

Switch Light/Dark Mode

/caterwaul/Group/OrderedCommutative/Type

Copy path to clipboard

Source

let object = Type

in  λ(m : object) →
        { compare : m → m → ../Ordered/Order }
      ⩓ ../PartiallyOrderedCommutative/Type m