Theorem ciSup₂_le'

Modification history

2026-08-22 18:51
Mathlib/Order/ConditionallyCompleteLattice/Indexed.lean
feat(ConditionallyCompleteLattice/Indexed): add binary versions of lemmas (#38906) …
Added ciSup₂_le'View on Github →