Theorem Finset.inf_mem_infs

Modification history