Theorem Set.empty_covBy_singleton

Modification history

2025-10-28 10:18
Mathlib/Order/Cover.lean
feat(Order/Cover): empty_covBy_singleton (#30915)
Added Set.empty_covBy_singletonView on Github →