Theorem Finset.empty_pow

Modification history