Theorem SupClosed.finsetSup'_mem

Modification history