← Copula mathematical handbook

Ordered monoid structures on the order dual.

instance OrderDual.isOrderedMonoid {α : Type u} [CommMonoid α] [Preorder α] [IsOrderedMonoid α] : IsOrderedMonoid αᵒᵈ

instance OrderDual.isOrderedAddMonoid {α : Type u} [AddCommMonoid α] [Preorder α] [IsOrderedAddMonoid α] : IsOrderedAddMonoid αᵒᵈ

instance OrderDual.isOrderedCancelMonoid {α : Type u} [CommMonoid α] [Preorder α] [IsOrderedCancelMonoid α] : IsOrderedCancelMonoid αᵒᵈ

instance OrderDual.isOrderedAddCancelMonoid {α : Type u} [AddCommMonoid α] [Preorder α] [IsOrderedCancelAddMonoid α] : IsOrderedCancelAddMonoid αᵒᵈ