Skip to content

develop an attribute to dualize theorems to the converse of a relation #644

Open
Open
develop an attribute to dualize theorems to the converse of a relation#644
@github-actions

Description

@github-actions
github-actions
bot
opened on Jun 13, 2026

References

  • [Simple Laws about Nonprominent Properties of Binary Relations][Burghardt2018]

cslib/Cslib/Foundations/Relation/Euclidean.lean

Lines 18 to 24 in d5148c0

TODO: develop an attribute to dualize theorems to the converse of a relation
## References
* [*Simple Laws about Nonprominent Properties of Binary Relations*][Burghardt2018]
-/

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions