Theorem SupClosed.finsetSup_mem

Modification history