Theorem mem_countableSupClosure_iff_iSup

Modification history

2026-06-08 10:43
Mathlib/Order/CountableSupClosed.lean
feat: CountableSupClosed (#38245) …
Added mem_countableSupClosure_iff_iSupView on Github →