MinimalPartialOrderedSetProxy

laws

Monoid

cats

minimumOption

MinimalPartialOrderedSetProxy

minimumOptionIsTheMinimum

PartiallyOrderedSetLaws