Theorem Finset.empty_mem_powerset

Modification history