Theorem Finset.supIndep_sigma_iff'

Modification history

2025-10-27 20:01
Mathlib/Order/SupIndep.lean
feat(Order): lemmas about `iSupIndep` (#29791) …
Added Finset.supIndep_sigma_iff'View on Github →