Theorem Finset.mk_mem_sigmaLift

Modification history