Theorem Relation.reflGen_eq_self

Modification history

2023-08-25 22:21

Mathlib/Logic/Relation.lean

feat(Logic/Relation): add missing relation material and show `⩿ = ReflGen (· ⋖ ·)` (#6711)

Added Relation.reflGen_eq_self View on Github →