Theorem iSupIndep_subsingleton

Modification history

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