Theorem Finset.powerset_card_bunionᵢ

Modification history