Theorem Finset.sigma_eq_empty

Modification history