Closed
Description
to something line Relation.Binary.Construct.Flip.Ord and Relation.Binary.Construct.Flip.EqAndOrd, following the same pattern as the recently introduced Algebra.Construct.Flip.Op.
{{ message }}
No one assigned
No type
No projects
None yet
No branches or pull requests