Theorem ciSup_eq_top_of_top_mem

Modification history

2026-04-05 00:51
Mathlib/Order/ConditionallyCompleteLattice/Indexed.lean
chore(Order/ConditionallyCompleteLattice/Indexed): fix typo in theorem name (#37650) …
Added ciSup_eq_top_of_top_memView on Github →