Theorem reflTransGen_of_pred

Modification history

2026-10-11 11:42
Mathlib/Order/SuccPred/Relation.lean
chore(Order/SuccPred/Relation): use `to_dual` (#44412)
Deleted reflTransGen_of_predView on Github →
2023-01-02 20:39
Mathlib/Order/SuccPred/Relation.lean
feat: port Order.SuccPred.Relation (#1295) …
Added reflTransGen_of_predView on Github →