Theorem Relation.reflTransGen_idem

Modification history

2026-10-10 09:42

Mathlib/Logic/Relation.lean

chore: delete deprecated declarations to March 2026 (#44240)

Deleted Relation.reflTransGen_idem View on Github →

2023-08-25 22:21

Mathlib/Logic/Relation.lean

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

Added Relation.reflTransGen_idem View on Github →