Theorem InfClosed.finsetInf_mem

Modification history