Theorem Finset.empty_covBy_singleton

Modification history

2026-02-15 14:33
Mathlib/Data/Finset/Grade.lean
style: fix many leading by's in mathlib (#35343) …
Modified Finset.empty_covBy_singletonView on Github →
2025-10-28 10:18
Mathlib/Data/Finset/Grade.lean
feat(Order/Cover): empty_covBy_singleton (#30915)
Added Finset.empty_covBy_singletonView on Github →