Theorem Relation.reflTransGen_le_of_equivalence_of_le

Modification history

2026-07-01 01:31
Mathlib/Logic/Relation.lean
chore(Logic/Relation): use `≤` to spell subrelation (#30526) …
Added Relation.reflTransGen_le_of_equivalence_of_leView on Github →