Open LilithHafner opened 2 years ago
Typically, isless is for the canonical total order and < is for the canonical partial order. In this package, we define the canonical total order with < and the canonical partial order with ≪.
isless
<
≪
Typically,
islessis for the canonical total order and<is for the canonical partial order. In this package, we define the canonical total order with<and the canonical partial order with≪.