Theorem SupClosed.sSup_mem

Modification history

2024-12-10 17:02
Mathlib/Order/SupClosed.lean
feat: sup-closed sets are closed under finite suprema (#18990) …
Added SupClosed.sSup_memView on Github →