Theorem Finset.shatterer_idem

Modification history