Theorem InfClosed.finsetInf'_mem

Modification history