Theorem Finset.Nonempty.csInf_mem

Modification history