Theorem reflTransGen_of_pred_of_ge

Modification history

2023-01-02 20:39
Mathlib/Order/SuccPred/Relation.lean
feat: port Order.SuccPred.Relation (#1295) …
Added reflTransGen_of_pred_of_geView on Github →