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 →