Theorem Finset.powersetLen_map

Modification history