Theorem Finset.shatters_shatterer

Modification history