Theorem Finset.empty_covBy_singleton

Modification history

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