Theorem Finset.not_mem_sigmaLift_of_ne_right

Modification history