Theorem Finset.sigma_mono

Modification history