Theorem Finset.SupIndep.mono

Modification history

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