Theorem Finset.powersetLen_zero

Modification history