Theorem Finset.shatterer_eq

Modification history