Theorem Finset.powerset_insert

Modification history