Skip to content

Add sum-↭ to Data.List.Relation.Binary.Permutation.Propositional.Properties #3798

Add sum-↭ to Data.List.Relation.Binary.Permutation.Propositional.Properties

Add sum-↭ to Data.List.Relation.Binary.Permutation.Propositional.Properties #3798