Theorem Finset.powerset_injective

Modification history