Theorem Finset.inf_mem

Modification history