Def Contravariant.toRightCancelSemigroup

Modification history