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

[github-actions]

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]
	-/