Theorem Finset.shatterer_mono

Modification history