Theorem Finset.univ_shatters

Modification history