Theorem Finset.Nonempty.cInf_mem

Modification history