Theorem Finset.pow_eq_empty

Modification history