Theorem Finset.sigmaLift_mono

Modification history