Theorem Relation.reflTransGen_minimal

Modification history

2025-12-19 18:35
Mathlib/Logic/Relation.lean
chore: golf proofs (#32996)
Deleted Relation.reflTransGen_minimalView 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_minimalView on Github →