Theorem CovBy.unique_right

Modification history

2026-02-06 22:51

Mathlib/Order/Cover.lean

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

Deleted CovBy.unique_right View on Github →

2024-01-09 09:25

Mathlib/Order/Cover.lean

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

Added CovBy.unique_right View on Github →