Theorem covby_top_iff

Modification history

2024-01-09 09:25

Mathlib/Order/Atoms.lean

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

Deleted covby_top_iff View on Github →

2022-12-30 17:08

Mathlib/Order/Atoms.lean

feat: port Order.Atoms (#1257) …

Added covby_top_iff View on Github →