Theorem Finset.shatters_univ

Modification history