Theorem Relation.refl_trans_gen_idem

Modification history

2023-08-25 22:21

Mathlib/Logic/Relation.lean

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

Deleted Relation.refl_trans_gen_idem View on Github →

2022-11-16 23:18

Mathlib/Logic/Relation.lean

feat: port Logic.Relation (#565) …

Added Relation.refl_trans_gen_idem View on Github →