Theorem iSupIndep.injOn_iInf

Modification history

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