Theorem Finset.mem_sigmaLift

Modification history