Theorem Finset.powersetLen_empty

Modification history