Def contravariant.to_left_cancel_semigroup

Modification history