Theorem Finset.Shatters.of_compression

Modification history