Theorem Finset.shatters_empty

Modification history