Theorem iSupIndep.iInf

Modification history

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