Theorem Finset.powerset_mono

Modification history