Theorem Order.IsPredPrelimit.of_dense

Modification history

2024-11-04 23:57
Mathlib/Order/SuccPred/Limit.lean
chore(SuccPred/Limit): rename 2 lemmas (#18462)
Added Order.IsPredPrelimit.of_denseView on Github →