Theorem Finset.mem_inf'

Modification history