Theorem WCovBy.ge_of_gt

Modification history

2026-02-06 22:51

Mathlib/Order/Cover.lean

chore(Order/Cover): use `to_dual` (#34880) …

Deleted WCovBy.ge_of_gt View on Github →

2024-01-09 09:25

Mathlib/Order/Cover.lean

chore(Covby): rename `Covby` to `CovBy` (#9578) …

Added WCovBy.ge_of_gt View on Github →